y"′="f"("x"′)。在某些情况，有可能使用伽罗瓦连接 (α, γ) 来定义抽象，这里的 α 是从 "L" 到 "L"′而 γ 是从 "L"′到 "L" 的单调函数。这假定了最好抽象的存在性，这不是必然的情况。例如，如果我们通过套入凸多面体抽象实数对 ("x","y") 的集合，则对于 "x"+"y" ≤ 1 定义的圆盘没有最优抽象。
抽象域的例子.在一个给定程序点上可以向每个变量 "x" 指派一个区间 [l,h]。指派值 "v"("x") 到变量 "x" 的状态是这些区