伽罗瓦联络

伽罗瓦联络是一种数学术语。伽罗瓦联络(Galois connection)偏序集之间对应的一种特殊联系.设P，Q是任意两个偏序集，令，:二~二‘与} : y-'y十分别为尸~Q与Q-} h的映身寸，若适合: