closure operator

English Wikipedia has an article on:

closure operator

Wikipedia

closure operator (plural closure operators)

1. (mathematics, topology, algebra, "on" a set S) A function which maps any subset X of S onto another such subset (or possibly X itself) called the closure of X (thus providing a mathematical means to define closure).

   Synonym: hull operator (in contexts where the closure can be interpreted as an enclosing structure)

   • 1997 , R. Friĉ, History of Sequential Convergence Spaces, C. E. Aull, R. Lowen (editors), Handbook of the History of General Topology, Volume 1, Springer, page 346,

     Let u be a closure operator on X satisfying the first three closure axioms: ${\displaystyle u(U\cup B)=uU\cup uB,A\subset u(A),u\emptyset =\emptyset }$.

• algebraic closure operator
• topological closure operator

• closure axiom
• closure space
• closure system