Potenzmenge/Geordnet durch Inklusion/Beispiel

Es sei ${}M$ eine beliebige Menge und ${}R={\mathfrak {P}}\,(M)$ die Potenzmenge davon. Dann sind die Elemente aus ${}R={\mathfrak {P}}\,(M)$ - also die Teilmengen von ${}M$ - durch die Inklusionsbeziehung ${}\subseteq$ geordnet. Die Reflexivität bedeutet einfach, dass eine jede Menge in sich selbst enthalten ist und die Transitivität bedeutet, dass aus ${}T_{1}\subseteq T_{2}$ und ${}T_{2}\subseteq T_{3}$ die Inklusion ${}T_{1}\subseteq T_{3}$ folgt. Die Antisymmetrie ist dabei ein wichtiges Beweisprinzip für die Gleichheit von Mengen: Zwei Mengen ${}T_{1},T_{2}$ sind genau dann gleich, wenn ${}T_{1}\subseteq T_{2}$ und umgekehrt ${}T_{2}\subseteq T_{1}$ gilt.