The purpose of this thesis is to obtain microlocal analogues of results by L. Hörmander about inclusion relations between the ranges of first order differential operators with smooth coefficients which fail to be locally solvable. Using similar techniques, we shall study the properties of the range of classical pseudo-differential operators of principal type which fail to satisfy condition (ψ).