Category:Empty Set is Well-Ordered