Ordnung/Ordnungstreu in Potenzmenge/Injektiv/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine geordnete Menge und die Potenzmenge von .

Dann ist die Abbildung

ordnungstreu und injektiv ist, wobei die Potenzmenge mit der Inklusion versehen ist.