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