Ordnung/Ordnungstreu in Potenzmenge/Injektiv/Fakt

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.