伽罗瓦联络

英文

Galois connection

简介

偏序集之间对应的一种特殊联系.设P，Q是任意两个偏序集，令φ：x→x^*与ψ：y→y⁺分别为P→Q与Q→P的映射，若适合：

1.若x≤x₁则x^*≥x^*₁;

2.若y≤y₁则y⁺≥y⁺₁;

3.x≤(x^*)⁺及y≤(y⁺)^*;

则称映射φ：x→x^*与ψ：y→y⁺在P和Q之间定义一个伽罗瓦联络.