On some microlocal properties of the range of a pseudo-differential operator of principal type.
We obtain microlocal analogues of results by L. Hormander about inclusion relations between the ranges of first order differential operators with coefficients in C-infinity that fail to be locally solvable. Using similar techniques, we study the properties of the range of classical pseudodifferential operators of principal type that fail to satisfy condition (Psi).