Distributivní svaz

Z Wikipedie, otevřené encyklopedie

Svaz (A,∧,∨) je distributivní, pokud pro každé a,b,c ∈ A platí a∧(bc)=(ab)∨(ac).

Ekvivalentně to lze také vyjádřit, že platí a∨(bc)=(ab)∧(ac) nebo že v tomto svazu není podsvaz izomorfní s M5.

[editovat] Podívejte se také na