Definition:Well-Ordering (Class Theory)