Category:Class of All Ordinals is Well-Ordered by Subset Relation