伽罗瓦连接的性质有对偶形式吗