von der sog. Vorordnung \begin{eqnarray}f\,\Delta \,g:\iff E(f)\subseteq E(g)\end{eqnarray} für alle f, g ∈ B(N, {1, 2,…,n}) auf der Menge B(N, {1, 2,…,n}) aller bijektiven Abbildungen N → {1, 2,…,n} induzierte Ordnung.