伽罗瓦联络

（数学术语）
伽罗瓦联络是一种数学术语。伽罗瓦联络(Galois connection)偏序集之间对应的一种特殊联系.设P，Q是任意两个偏序集，令，:二~二‘与} : y-'y十分别为尸~Q与Q-} h的映身寸，若适合:
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：