Taj ëd Dedekind

Stamp:Prinsipi Un taj ëd Dedekind a l'é un sot-ansem $X\subseteq \mathbb{Q}$ ch'a sodisfa le propietà sì-dapress:

• $X\ne \mathrm{\varnothing },\mathbb{Q}-X\ne \mathrm{\varnothing }$
• $r<q\wedge q\in X\Rightarrow r\in X$
• $q\in X\Rightarrow \mathrm{\exists }r(q<r\wedge r\in X)$.

Donca un sot-ansem dij rassionaj a l'é un taj ëd Dedekind si e mach si a l'é nen veuid, a l'é limità da dzora, a la nen n'element màssim e a l'é sarà vers ël bass. Stamp:Fin