Ansima a l'ansem dle cobie ordinà ëd nùmer naturaj, ch'as consìdera la relassion definìa da
- .
As trata 'd na relassion d'equivalensa.
Minca classa d'equivalensa as ciama nùmer antregh.
L'ansem dij nùmer antregh, visadì l'ansem cossient dle classe d'equivalensa dla relassion a l'é denotà .
A l'é n'ansem numeràbil.
L'ansem dij nùmer antregh a l'ha na strutura natural assossià, constituìa da na relassion d'órdin e da j'operassion d'adission e ëd multiplicassion.
Coste operassion a son assossiative, comutative, con element neutral.
Minca nùmer antregh a l'é dotà ëd n'opòst aditiv e la multiplicassion a l'é distributiva rëspet a l'adission.
Donca, rëspet a se doe operassion, j'antregh a formo n'anel comutativ.
|