学对象"X"，比如群、环、向量空间等。对于任何"X"的子集"S"，设"F"("S")是"X"的包含"S"的最小子对象，就是说"S"所生成的子群、子环或子空间。对于任何"X"的子对象"U"，设"G"("U")是"U"的底层集合。（我们甚至可以采用"X"为拓扑空间，设"F"("S")是"S"的闭包，并采用“"X"的子对象”为"X"的闭合子集。）现在"F"和"G"形成单调伽罗瓦连接，如果集合和子对象按包含来排序。"F"是下伴随。
覆叠空间.代数拓扑学中，一个路径连通的空间"X"若有路径连