Menge und Teilmenge/Permutation/Untergruppe/Fakt

Sei eine Menge und eine Teilmenge.

Dann gibt es eine natürliche injektive Abbildung

wobei auf gleich und auf die Identität ist.

Mittels dieser Abbildung ist eine Untergruppe von .