assioma di Dedekind

Definizione

Siano $A$ e $B$ sottoinsiemi di $\mathbb{R}$ con $A\ne \varnothing$ e $B\ne \varnothing$.

Supponiamo che $\forall a\in A,\forall b\in B,a\le b$, allora

$\exists \xi \in \mathbb{R}:\forall a\in A,\forall b\in B$

$a\le \xi \le b$

Risorse