Ordnung/Ordnungsvolltreu in Potenzmenge/Injektiv/Fakt

Satz über geordnete Mengen und Potenzmengen

Es sei ${}(M,\leq )$ eine geordnete Menge und ${}{\mathfrak {P}}\,(M)$ die Potenzmenge von ${}M$ .

Dann ist die Abbildung

$M\longrightarrow {\mathfrak {P}}\,(M),\,x\longmapsto {\left\{y\in M\mid y\leq x\right\}},$

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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.