Galois connection (Ore 1944)

Layer 0 — Mathematicsin the order-theory subtree

Ø Ore 1944 Galois-connection; modern formal-concept-analysis Wille 1982 + lattice-based-knowledge-representation + AI ontologies.