general/closure-operators

Mathematical operator

Axioms for defining a topology

Closure operator

Partially ordered set in which all subsets have both a supremum and infimum

Condition for a mathematical function to map some value to itself