Baliokidetasun-klase: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
Esteka konpondu Etiketak: Ikusizko edizioa Mugikor edizioa Mugikor web edizioa |
No edit summary Etiketak: Ikusizko edizioa Mugikor edizioa Mugikor web edizioa |
||
7. lerroa:
== Propietateak ==
<math>X</math> multzoko edozein <math>x</math> elementu <math>[x]</math> baliokidetasun-klaseko elementua da. Edozein bi <math>[x]</math> eta <math>[y]</math> baliokidetasun-klase berdinak ala [[Multzo disjuntu|disjuntuak]] dira. Ondorioz, <math>X</math>-ko baliokidetasun-klase guztien familiak <math>X</math>-ren [[Partiketa (matematika)|partiketa]] bat osatzen du: <math>X</math>-ko edozein elementu baliokidetasun-klase bateko eta bakarrik bateko elementua da<ref>{{Erreferentzia|izena=Randall B.|abizena=Maddox|izenburua=Mathematical thinking and writing : a transition to abstract mathematics|argitaletxea=Academic Press|data=2002|url=https://www.worldcat.org/oclc/166269238|isbn=978-0-08-049647-4|pmc=166269238|sartze-data=2021-11-19}}</ref>. Era berean, <math>X</math>-ren edozein partiketa baliokidetasun-erlazio batetik dator, zeinaren arabera <math>x \sim y</math> baldin eta soilik baldin <math>x</math> eta <math>y</math>
Hortaz, <math>\,\sim\,</math> <math>X</math> multzoaren gaineko baliokidetasun-erlazioa bada eta <math>x</math> eta <math>y</math> <math>X</math> multzoko bi elementu badira, ondokoak baliokideak dira:
| |||