[26Y] There is an unique order relation \(≤\) on \(ℕ\) such that [(4.29)]↺↻,[(4.28)]↺↻ in [26H]↺↻ hold, and this ordering is well-ordered.
