束 (束論)
(a ∧ c) ∨ (b ∧ c) = [(a ∧ c) ∨ b] ∧ c
が成立するときにいう。この条件は次の条件と同値である。