Podmnožina: Porovnání verzí

Skočit na navigaci Skočit na vyhledávání
Velikost nezměněna ,  před 15 lety
m
oprava odkazu na rozcestník nebo redirect, Transitivní relaceTranzitivní relace
m (robot přidal: pt:Subconjunto)
m (oprava odkazu na rozcestník nebo redirect, Transitivní relaceTranzitivní relace)
== Vlastnosti ==
 
[[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]], [[Transitivní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>.
22 151

editací

Navigační menu