Es seien ψ : M n → N {\displaystyle {}\psi \colon M^{n}\rightarrow N} eine alternierende Abbildung, x 1 , … , x n ∈ M {\displaystyle {}x_{1},\ldots ,x_{n}\in M} und σ ∈ S n {\displaystyle {}\sigma \in S_{n}} , der Permutationsgruppe der Menge { 1 , … , n } {\displaystyle {}\{1,\ldots ,n\}} .
Dann ist
eine
alternierende
Abbildung, 
und 
, der
Permutationsgruppe
der Menge 
.
