Category:Supremum of Set of Real Numbers is at least Supremum of Subset