Galois connection
Let and be two partially ordered sets. A "monotone Galois connection" between these posets consists of two monotone functions: and , such that for all in and in , we have