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