Taj ëd Dedekind

Un taj ëd Dedekind a l'é un sot-ansem ${\displaystyle X\subseteq \mathbb {Q} }$ ch'a sodisfa le propietà sì-dapress: ${\displaystyle X\neq \emptyset ,\mathbb {Q} -X\neq \emptyset }$ ${\displaystyle r<q\wedge q\in X\Rightarrow r\in X}$ ${\displaystyle q\in X\Rightarrow \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.