Galois connection
伽罗瓦连接的另一个基本形式是"f" ∗("f" ∗("f" ∗("x"))) = "f" ∗("x")，对于所有"B"中的"x"。我们明显的可发现