"F"("S")是"S"的闭包，并采用“"X"的子对象”为"X"的闭合子集。）现在"F"和"G"形成单调伽罗瓦连接，如果集合和子对象按包含来排序。"F"是下伴随。
覆叠空间.代数拓扑学中，一个路径连通的空间"X"若有路径连通的覆叠空间"U"，则"U"的基本群formula_23会是"X"的基本群formula_24的子群。因此由"X"的所有覆叠空间所形成的偏序集，与X的基本群的所有子群形成的偏序集之间，形成了反序伽罗瓦连接。更进一步的，对于"X"的万有覆叠空间，其基本群必为form