Z Wikipedie, otevřené encyklopedie
Svaz (A,∧,∨) je distributivní, pokud pro každé a,b,c ∈ A platí a∧(b∨c)=(a∧b)∨(a∧c).
Ekvivalentně to lze také vyjádřit, že platí a∨(b∧c)=(a∨b)∧(a∨c) nebo že v tomto svazu není podsvaz izomorfní s M5.
[editovat] Podívejte se také na