伽罗瓦连接
The lower and upper adjoints in a (monotone) Galois connection, "L" and "G" are quasi-inverses of each other; that is, "LGL" = "L" and "GLG" = "G" and one uniquely determines the other. They are not left or right inverses of each other however.