The topological closure of a subset X of a topological space consists of all points y of the space, such that every neighbourhood of y contains a point of X.
For topological closure operators the second closure axiom (being increasing) is redundant.