Description: Two classes are different if they don't contain the same element. (Contributed by NM, 3-Feb-2012) (Proof shortened by Wolf Lammen, 14-May-2023)