Aus der Bijektivität folgt:
Jedes Element aus {1,....,m} wird höchstens ein Element aus {1,....,n} zugeordnet.
Jedes Element aus {1,....,m} wird mindestens ein Element aus {1,....,n} zugeordnet.
Da jedes Element ein Element hat und höchstens ein Element hat, muss die Anzahl an Elementen gleich sein.
Folglich gilt wenn f bijektiv ist muss m = n gelten, da |{1,....,m}| = |{1,....,n}|