Es sei ${\displaystyle {}T\subseteq M}$ eine Teilmenge. Zeige, dass die Teilmenge

${\displaystyle {}{\mathfrak {P}}\,(T)\subseteq {\mathfrak {P}}\,(M)\,}$

mit der induzierten Ordnung