Podmnožina
Z Wikipédie
Definícia:
Množina A je podmnožinou množiny B, ak pre každé
platí,
. Označuje sa
.
[úprava] Vlastná podmnožina
Definícia: Vlastná podmnožina A množiny B je taká podmnožina, že existuje aspoň jeden prvok
a
. Označuje sa 
Z daných definícií vyplýva:
- každá množina je zároveň svojou podmnožinou
- prázdna množina je podmnožinou každej množiny
- ak
, tak A ∩ B = A - ak
a
, tak A=B - ak
a
, tak 


