pokazde, kdyz se to ucim (ze skript), zaseknu se na tehle "jednoduche" implikaci ve svazech (nemodularnich), co by mela byt videt jednoduse. Nejak nevim, co s tim.
v modularnich tam pak je rovnitko. Je to na strance 48. Zaseknu se tam fakt pokazdy2.1.1 Poznámka. Uvědomte si, že implikace
a ≤ c => a ∨ (b ∧ c) ≤ (a ∨ b) ∧ c
platí vždy. V modularitě jde tedy o opačnou nerovnost.