定義
modular律：a ≦ c のとき a∨(b∧c) = (a∨b)∧c
が成り立つ束をmodular束と言う。