Definition:Well-Orderable Set