EDB — 20K

[20K](Svolto il 2022-11-24) Preso $A\subseteq ℝ$ non vuoto, allora $supA$ è l’unico numero $𝛼\in ℝ\cup \{+\infty \}$ che soddisfa queste due proprietà

come già visto in [22S]↺↻ per il caso più generale di insiemi totalmente ordinati.