I would say that 3 / (a-1) is a "symbolic solution"; meaning it's a solution for a particular value of a if and only if it makes sense for that a (i.e. there is no division by zero, etc..). The solve command will return symbolic solutions when possible because they generally make sense for almost all values of any symbolic parameter. You have to take care that solutions may not make sense for some particular values of the parameters.