Total Order

🅟 Feb 22, 2026

  🅤 Mar 02, 2026

DEF-TO. Total Order.

  • A total order / linear order is a strongly connected partial order.

  • A strict total order / strict linear order is a connected strict partial order.


PROP-TO-S.

$\preceq$ is a total order if and only if $\prec$ is a strict total order.