在数学中，相对有补格是一个格 "L"，在对于所有在 "L" 中有着 "a" ≤ "b" ≤ "c" 的 "a", "b", "c"，有在 "L" 中的某个 "x" 使得 "x" ∨ "b" = "c" 并且 "x" ∧ "b" = "a"。 有这个性质的元素 "x" 是 "b" 相对于区间 ["a","c"] 的补元素。两个特殊情况经常见到: