"y"，"x" ∇ "y" 应当大于等于 "x" 和 "y" 二者，并且对于所有序列 "y"′，定义自 "x"′=⊥ 并且 "x"′="x"′ ∇ "y"′ 的序列最终是固定的。我们接着选取 "y"′="f"("x"′)。在某些情况，有可能使用伽罗瓦连接(α, γ) 来定义抽象，这里的 α 是从 "L" 到 "L"′而 γ 是从 "L"′到 "L" 的单调函数。这假定了最好抽象的存在性，这不是必然的情况。例如，如果我们通过套入凸多面体抽象实数对 ("x","y") 的集合，则对于 "x"+"y" ≤