Menge und Teilmenge/Permutation/Untergruppe/Fakt

Aus Wikiversity

Es 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 .