Category:Set Closure is Smallest Closed Set