- Každá množina je svojou podmnožinou: A\subseteq A.
- Množina nemôže byť svojou vlastnou podmnožinou.
- Prázdna množina je podmnožina akejkoľvek množiny: \emptyset \subseteq A.
- Prázdná množina nemá žiadnu vlastnú podmnožinu.
- A \subseteq A \cup B
- A \cap B \subseteq A
- A \subseteq A \wedge B \subseteq A \Leftrightarrow A=B
Rozhodovačka
Rýchle precvičovanie výberom z dvoch možností.