Proposition 1.8.1.22.6.  Let n ∈ ℕ. Then:
ℕ<n ⊆ ℕ≤n
No proof.