Definition
Number of elements it contains. Two sets have same cardinality iff there is a bijection f: S->T. So, prove surjective and injective.
Equality of cardinality is an equivalence relation. (For any sets R, S, T, we have reflexivity, symmetry, transitivity).