Modulární svaz

Z Wikipedie, otevřené encyklopedie

Svaz (A,∧,∨) je modulární, pokud pro každé a,b,c ∈ A, kde a ≤ c platí a∧(bc)=(ab)∨c.

Ekvivalentně to lze také vyjádřit, že v tomto svazu není podsvaz izomorfní svazu N5.

viz svaz, distributivní svaz