Taj ëd Dedekind

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