伽罗瓦连接
The compression and expansion operators form a Galois connection, where formula_64 is the lower adjoint and formula_65 the upper adjoint.