previous up next
Go backward to Number of Set Elements
Go up to Top
Go forward to Example
RISC-Linz logo

Unicity of Bijection

Proposition: If S is not empty and both f: Nn -> S and g: Nm -> S are bijections, then n = m:

(forall S != 0, n in N, m in N, f: Nn ->bijective S, g: Nm ->bijective S:
      m = n).

Proof: see lecture notes.

The size of a set is uniquely defined.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next