Category:Subset of Well-Ordered Set is Well-Ordered