Prenesi množice tako, da bodo veljale vse zapisane relacije.
Množici $\mathcal{A}$ in $\mathcal{B}$ sta enaki, če:
• imata iste elemente ali
• velja $\mathcal{A} \subseteq \mathcal{B}$ in $\mathcal{B} \subseteq \mathcal{A}$.
Če je množica $\mathcal{A}$ podmnožica množice $ \mathcal{B}$ in množici nista enaki, je $\mathcal{A}$ prava podmnožica množice $\mathcal{B}$. To zapišemo $\mathcal{A} \subset \mathcal{B}$.