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.org