Finite Sets are Comparable

Theorem
Let $S$ and $T$ be finite sets.

Then $S$ and $T$ are comparable by size.