Az $A$ halmaz minden $X$ részhalmazához hozzárendeljük az $f\left(X\right)$ részhalmazt úgy, hogy ha $X\subseteq Y$ akkor $f\left(X\right)\subseteq f\left(Y\right)$. Mutassuk meg, hogy van $A$-nak olyan $T$ részhalmaza, amelyre $f\left(T\right)=T$.