e/Preclosure operator

Information
has gloss	eng: In topology, a preclosure operator, or Čech closure operator is a map between subsets of a set, similar to a topological closure operator, except that it is not required to be idempotent. That is, a preclosure operator obeys only three of the four Kuratowski closure axioms.
lexicalization	eng: preclosure operator
instance of	e/Closure operator