Topological Closure is Closure Operator

Theorem
The topological closure operator is a closure operator.

Extensive
Follows from Set is Subset of Closure.

Increasing
Follows immediately from Closure of Subset is Subset of Closure.

Idempotent
Follows immediately from Closure of Closure equals Closure.