If it means there is a bijection , and means there is a bijection . Thus, the mapping will be a bijection from to .

If and then and we have equality when .Prove: Let A and B be finite sets. Conjecture a formula for |A U B| in the case that A n B doesn't equal the empty set