Set Closure is Smallest Closed Set/Topology