Taj ëd Dedekind

Da Wikipedia.
Drapò piemontèis.png 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.