モジュラー束

モジュラー束(modular lattice)

集合$ L と二項演算$ \le が束$ (L, ≤) であるとき、モジュラー束であるとは次の条件が成立することである．

$ c \le a ならば $ a ∧ (b ∨ c) = (a ∧ b) ∨ c \ \ (∀a, b, c ∈L)

確認用

Q. モジュラー束

参考