Ore 1944 Galois-connection: monotone pair f: P -> Q, g: Q -> P with f(x) <= y iff x <= g(y); pervasive in formal-concept-analysis + abstract-interpretation + duality.
Ore 1944 Galois-connection: monotone pair f: P -> Q, g: Q -> P with f(x) <= y iff x <= g(y); pervasive in formal-concept-analysis + abstract-interpretation + duality.