What is the meaning of Totally_ordered?
That is equipped with a total order, that is a subset of (the ground set of) a partially ordered set whose partial order is a total order with respect to said subset.
Source: wiktionary.orgSearch words containing