e/Kuratowski closure axioms

Information
has gloss	eng: In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms which can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition. They were first introduced by Kazimierz Kuratowski, in a slightly different form that applied only to Hausdorff spaces.
lexicalization	eng: Kuratowski closure axioms
instance of	(noun) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident axiom

Meaning
Chinese
lexicalization	zho: 庫拉托夫斯基閉包公理