Let 픤 be a semisimple Lie algebra and U(픤), its enveloping algebra. A problem in the theory of non-commutative algebras is the description of the set Spec U(픤) of prime ideals in U(픤) as topological space. Using the notion of the characteristic variety as introduced by Joseph, we compute some order relations between prime ideals.