Kuratowski closure axioms

The Kuratowski closure axioms are a set of foundational properties that define closure operations in a topological space. These axioms provide a formal framework for understanding how closure can be characterized in the context of topology. The closure of a set, denoted as \( \overline{A} \), can be thought of as the smallest closed set containing \( A \), or equivalently, the set of all limit points of \( A \) along with the points in \( A \).