having a well-order.

listen to the pronunciation of having a well-order.