Description: Two atoms are unequal iff their join is greater than one of them. (Contributed by NM, 6-May-2012)