set symmetric difference countability bijection, injection, and surjection enumeration relation Cantor’s theorem