Set Closure is Smallest Closed Set