Distributivní svaz: Porovnání verzí
Smazaný obsah Přidaný obsah
m Oprava gram.chyby vzájemně |
|||
Řádek 14:
== Vlastnosti ==
Svaz (A,∧,∨) je distributivní právě tehdy, když žádný jeho [[podsvaz]] není [[izomorfismus|izomorfní]] s M<sub>
neboť tyto svazy distributivní nejsou (M<sub>
V distributivním svazu platí obdoba pravidla o krácení z [[grupa|grup]] , tedy <math>\forall a,b,c \in A : a \wedge b = a \wedge c, a \vee b = a \vee c \Rightarrow b=c</math>.
|