Podmnožina: Porovnání verzí
Smazaný obsah Přidaný obsah
m Preklep - pardon |
revert odstranění odstavce o způsobech zápisu |
||
Řádek 8:
<math> B \subseteq A \Leftrightarrow ( \forall X)(X \isin B \implies X \isin A)</math><br />
<math> B \subset A \Leftrightarrow ( B \subseteq A \and \neg (B = A))</math><br />
== Způsoby zápisu ==
Existují dva obvyklé způsoby zápisu podmnožin: Ve starším systému se symbolem „⊂“ označuje jakákoli podmnožina, zatímco symbolem „⊊“ se označuje vlastní podmnožina. V novějším systému se symbolem „⊂“ označuje vlastní podmnožina, zatímco pro označení obecné podmnožiny se používá symbol „⊆“ (analogický např. k „≤“).
== Příklady ==
|