Neue Notation: mit (a1, a1, ..., an) sei die Abbildung f: {1,2, ..., n}→{1,2, ..., n} mit f(i)=ai ∀i∈{1,2, ..., n} bezeichnet.
Dann ist z.B. (1,2,3) die identische Abildung und (3,1,2) eine weitere bijektive Abvildung.
Eine Abbildung zwischen zwei gleichmächtigen endlichen Mengen ist genau dann surjektiv, wenn sie bijektiv ist.