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∧(b∨c)=(a∧b)∨c.
Ekvivalentně to lze také vyjádřit, že v tomto svazu není podsvaz izomorfní svazu N5.
viz svaz, distributivní svaz

