Logic formulas concerning orders

ordering <= on ℕ: 𝓡<= = { (n,m) ∈ ℕ² | n <= m }