 va  . bo`lsin, ya`ni z-x. Buvdan simmetriklik xossasiga asosan x-z,. Ixtiyoriy  elementni olamiz. U xolda z-y, YUqoridagi x-z va z-y munosabatlardan tranzitivlik xossasiga asosan x-u ni olamiz, ya`ni  . Ushbu element ixtiyoriy bo`lgani uchun  . YUqoridagiga o`xshash muloxazalar bilan  munosabat xam ko`rsatiladi, ya`ni . Bu bilan  to`plamlar tizimi A to`plamni sinflarga bo`lishi ko`rsatildi.
SHunday qilib, A to`plamdagi ekvivalentlik munosabati bilan A ni sinflarga bo`lish orasida o`zaro bir qiymatli bog`lanish ko`rsatildi.
Do'stlaringiz bilan baham: |
