Ekvivalence (matematika): Porovnání verzí
Smazaný obsah Přidaný obsah
značka: editace z Vizuálního editoru |
V definici transitivity relace ekvivalence jsem přidal jednu levou kulatou závorku. značka: editace z Vizuálního editoru |
||
Řádek 9:
* [[reflexivní relace|reflexivní]], tj. <math>\forall a \isin X:[a,a] \isin R\,\! </math>
* [[symetrická relace|symetrická]], tj. <math>\forall a,b \isin X:[a,b] \isin R \implies [b,a] \isin R \,\! </math>
* [[Tranzitivní relace|tranzitivní]], tj. <math>\forall a,b,c \isin X:(( [a,b] \isin R \and [b,c] \isin R) \implies [a,c] \isin R) \,\! </math>
== Rozklad a třídy ekvivalence ==
| |||