伽罗瓦连接的几个性质