Axiom:Closed Set Axioms

Definition
Let $S$ be a set.

The closed set axioms are the conditions under which a subset $F \subseteq \powerset S$ of the power set of $S$ consists of the closed sets of a topology on $S$:

Also see

 * Definition:Topology Defined by Closed Sets
 * Axiom:Open Set Axioms