set symmetric difference disjoint union countability bijection, injection, and surjection enumeration relation Cantor’s theorem Russell Paradox