伽罗瓦连接
但是要注意对于反序伽罗瓦连接，谈论下伴随和上伴随是没有意义的：情况是完全对称的。