Galois connection
在某些情况，有可能使用伽罗瓦连接 (α, γ) 来定义抽象，这里的 α 是从 "L" 到 "L"′而 γ 是从 "L"′到 "L" 的单调函数。这假定了最好抽象的存在性，这不是必然的情况。例如，如果我们通过套入凸多面体抽象实数对 ("x","y") 的集合，则对于 "x"2+"y"2 ≤ 1 定义的圆盘没有最优抽象。