EDB — 267

Esercizi

1. [267]Supponiamo che $\le$ sia una relazione di ordine (possibilmente parziale) su $\mathbb{N}$ soddisfacente [26H]↺↻ allora $\le$ è unico.

   Soluzione 1

   [270]↺↻