Podmnožina

Z Wikipédie

Podmnožina množiny A je taká množina B ktorá obsahuje iba prvky množiny A. Alternatívne, B je podmnožinou A, ak je každý prvok x z množiny B súčasne aj prvkom množiny A. To že A je podmnožinou B sa symbolicky zapisuje

A \subseteq B.

Podmnožina B množiny A je vlastná podmnožina ak existuje aspoň jedeno x v množine A také, že x\notin B. To že B je vlastná podmnožina množiny A sa zapisuje

A \subset B.

Ak sa pracuje s podmnožinami nejakej pevne zvolenej základnej množiny U, je vzťah "byť podmnožinou" binárna relácia na systéme všetkých podmnožín U. 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.

[úprava] Vlastnosti