Definition:Well-Orderable Class