Un taj ëd Dedekind a l'é un sot-ansem ch'a sodisfa le propietà sì-dapress:

.

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.

Categorìa:Teorìa dj'ansem