View
English
Theorem
184
[24D] Consider the order relation \(β \) on \(β\); then
\begin{equation} β x,y β β , (x β Syβ§ xβ Sy) \iff (x β y ) \quad . \label{eq:subseteq_ caratt_ le_ N} \end{equation}
185
This will be proven in Exercise [26P].
Download PDF
