Solution
= Solution
A <total order> is a <partial order> in which every pair is comparable: for every $a,b\in A$, at least one of $a\preceq b$ and $b\preceq a$ holds. Both hold exactly when $a=b$.
= Solution
A <total order> is a <partial order> in which every pair is comparable: for every $a,b\in A$, at least one of $a\preceq b$ and $b\preceq a$ holds. Both hold exactly when $a=b$.