Wiktionary
totally ordered set
n. (context set theory English) A set having a specified total order.