totally ordered adjective1 •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.(A.2.5) THEOREM If A is a totally ordered ring and if I is a proper order ideal, then A/I is a totally ordered ring (with the operations and order given above). — 1976
