Proposition 1.8.2.7.  Let S be a set, T ⊆ S. Then:
|T| ≤ |S|
Proof.  We show that ∃ X ⊆ S : |X| = |T|:
Take X := T.