EDB — 06F

[06F]Si costruisca un ordinamento \(⪯\) su \(ℕ\) con questa proprietà: per ogni \(n∈ℕ\)

• l’insieme \(\{ k∈ℕ , k≠ n,k⪯ n\} \) degli elementi che precedono \(n\) ha esattamente due massimali,

• l’insieme \(\{ k∈ℕ , k≠ n,n⪯ k\} \) degli elementi che seguono \(n\) ha esattamente due minimali.