Union of a Set of Ordinals Is Its Supremum