[2]. The class of GADLs inherit almost all the properties of a distributive lattice except possibly the commutativity of ∧, ∨, the right distributivity of either of the operations ∨ or ∧ over the other.
[2]. The class of GADLs inherit almost all the properties of a distributive lattice except possibly the commutativity of ∧, ∨, the right distributivity of either of the operations ∨ or ∧ over the other.