Taj ëd Dedekind

	Vos an lenga piemontèisa
	Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì.

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.