Podmnožina: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
JAnDbot (diskusia | príspevky)
d robot Pridal: fa:زیرمجموعه
zle napisane kto je koho podmnozinou...
Riadok 1:
'''Podmnožina''' množiny <math>A</math> je taká množina <math>B</math> ktorá obsahuje iba prvky množiny <math>A</math>. Alternatívne, <math>B</math> je podmnožinou <math>A</math>, ak je každý prvok <math>x</math> z množiny <math>B</math> súčasne aj prvkom množiny <math>A</math>. To že <math>A</math> je podmnožinou <math>B</math> sa symbolicky zapisuje
:<math>A \subseteq B</math>.
Podmnožina <math>B</math> množiny <math>A</math> je '''vlastná podmnožina''' ak existuje aspoň jedeno <math>x</math> v množine <math>A</math> také, že <math>x\notin B</math>. To že <math>BA</math> je vlastná podmnožina množiny <math>AB</math> sa zapisuje
:<math>A \subset B</math>.
Ak sa pracuje s podmnožinami nejakej pevne zvolenej [[základná množina|základnej množiny]] <math>U</math>, je vzťah "byť podmnožinou" [[binárna relácia]] na systéme všetkých podmnožín <math>U</math>. Tejto relácii sa hovorí '''relácia inklúzie''' alebo jednoducho '''inklúzia'''. Vzťahu "byť vlastnou podmnožinou" sa hovorí '''relácia ostrej inklúzie''' alebo jednoducho '''ostrá inklúzia'''.