In any lattice, a modular pair is a pair (a, b) of elements such that for all x satisfying a ∧ b ≤ x ≤ b, we have (x ∨ a) ∧ b = x, i.e. if one half of the diamond isomorphism theorem holds for the pair [REF].
Several less important notions are also closely related.