伽罗瓦连接
The term Galois correspondence is sometimes used to mean bijective "Galois connection"; this is simply an order isomorphism (or dual order isomorphism, depending on whether we take monotone or antitone Galois connections).