PROOF 160

Prove.

The product rule and the sum rule of counting

On finite sets.

Definition D1

For a finite set A, |A| = m means that there is a bijection from A to {1, 2, …, m}.

Proof.

Related labs