- Každá množina je svou podmnožinou: A\subseteq A.
- Množina nemůže být svou vlastní podmnožinou.
- Prázdná množina je podmnožina jakékoliv množiny: \emptyset \subseteq A.
- Prázdná množina nemá žádnou vlastní podmnožinu.
- A \subseteq A \cup B
- A \cap B \subseteq A
- A \subseteq A \wedge B \subseteq A \Leftrightarrow A=B