DEF-TPO. Total Order.
A total order / linear order is a partial order that is strongly connected (DEF-RP).
A strict total order / strict linear order is a strict partial order that is connected.
DEF-TPO. Total Order.
A total order / linear order is a partial order that is strongly connected (DEF-RP).
A strict total order / strict linear order is a strict partial order that is connected.