Podmnožina: Porovnání verzí

Přidáno 28 bajtů ,  před 12 lety
→‎Vlastnosti: +slovník
m (robot přidal: ku:Binkom)
(→‎Vlastnosti: +slovník)
 
== Vlastnosti ==
{{Wikislovník|podmnožina}}
 
[[Binární relace|Relace]] <math> \subseteq </math> je [[Uspořádaná množina|uspořádání]] na množině všech podmnožin (tj. na [[Potenční množina|potenční množině]]) libovolně zvolené množiny - to znamená, že splňuje pravidla [[Reflexivní relace|reflexivity]], [[Tranzitivní relace|tranzitivity]] a [[Slabě antisymetrická relace|slabé antisymetrie]].<br />
Na druhé straně existují na každé množině s alespoň dvěma různými prvky takové podmnožiny, které nejsou srovnatelné - <math> \neg (S_1 \subseteq S_2) \and \neg (S_2 \subseteq S_1)</math>. To znamená, že <math> \subseteq </math> není [[úplné uspořádání|úplné]], ale pouze [[částečné uspořádání]].<br />