previous up next
Go backward to Set Cardinalities
Go up to Top
Go forward to Infinite Sets
RISC-Linz logo

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.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next