Natürliche Zahlen/Ordnung/Bezug auf Anfangssegment/Aufgabe/Lösung
=> sei k≤n. Zz ⟨1,…,k⟩c⟨1,…,n⟩ Sei le⟨1,…,k⟩. Dann ist l c k,⇒l≤k,⇒l≤n⇒le⟨1,…,n⟩ ⇐⟨1,…,k⟩c ⟨1,…n⟩ insbesondere ke ⟨1,…,n⟩⇒k≤n
=> sei k≤n. Zz ⟨1,…,k⟩c⟨1,…,n⟩ Sei le⟨1,…,k⟩. Dann ist l c k,⇒l≤k,⇒l≤n⇒le⟨1,…,n⟩ ⇐⟨1,…,k⟩c ⟨1,…n⟩ insbesondere ke ⟨1,…,n⟩⇒k≤n