previous up next
Go backward to
Go up to Top
Go forward to Unicity of Bijection
RISC-Linz logo

Number of Set Elements

Definition: A set S is finite if it is empty or there is a bijection to Nn for some n > 0. We then call 0 resp. n the size or cardinality of S:

S is finite : <=> S = 0 \/
   (exists n in N>0, f: f: Nn ->bijective S);
|S| := if S = 0 then 0 else
   (such n in N>0: exists f: f: Nn ->bijective S).
A set is infinite if is not finite:
S is infinite : <=> ~S is finite.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next