Go backward to Set CardinalitiesGo up to TopGo forward to Infinite Sets |

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

| A| = |B|<=> AandBhave same size;| A| <= |B|<=> Ais not larger thanB;| A| < |B|<=> Ais smaller thanB.

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

Author: Wolfgang Schreiner

Last Modification: December 7, 1999