Podmnožina: Porovnání verzí

Přidáno 31 bajtů ,  před 8 lety
m
{{Wikislovník}} do odkazů a s parametrem
(navbox)
m ({{Wikislovník}} do odkazů a s parametrem)
 
== 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 />
[[Prázdná množina]] je nejmenším prvkem libovolné [[Potenční množina|potenční množiny]] vzhledem k uspořádání <math> \subseteq </math>.
 
== Externí odkazy ==
* {{Wikislovník|heslo=podmnožina}}
{{Teorie množin}}
 
1 430 033

editací