View
English
Exercises
[269]We know from [26K] that the relation \(n β m\) is total in \(β\). Prove that
\begin{equation} β n,mβ β, n β m \iff (n β m β§ nβ m)\quad . \label{eq:n_ in_ m_ iff_ 2} \end{equation}
194
By [24K] this implies
\[ β n,mβ β, n β m \iff (n β m \lor n= m)\quad . \]
Download PDF