Pair of monotone maps f: P ↔ Q :g satisfying f(x) ≤ y ⟺ x ≤ g(y). Generalises Galois theory of field extensions. Foundation for closure operators, formal-concept analysis, abstract interpretation.
Pair of monotone maps f: P ↔ Q :g satisfying f(x) ≤ y ⟺ x ≤ g(y). Generalises Galois theory of field extensions. Foundation for closure operators, formal-concept analysis, abstract interpretation.