Go backward to Set Cardinalities Go up to Top Go forward to Infinite Sets

Finite Sets

Proposition: For all finite sets A and B, the following holds:

|A| = |B|	<=>	A and B have same size;
|A| <= |B|	<=>	A is not larger than B;
|A| < |B|	<=>	A is smaller than B.

For finite sets, the new notions coincide with the old ones.