Ekvivalentsiseos: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P robot lisas: hr:Relacija ekvivalencije muutis: ro:Relație de echivalență |
|||
15. rida:
Kui iga elemendi ''a'' korral hulgast ''A'' on olemas teine element ''b'', mis kuulub hulka ''A'' ja millega ''a'' on seoses, siis sümmeetrilisusest ja transitiivsusest järeldub refleksiivsus. Tõepoolest, tähistame selle seose ''R''. Kui ''aRb'', siis seose R sümmeetrilisuse tõttu ka ''bRa''; sellest aga, et ''aRb'' ja ''bRa'', järeldub seose R transitiivsuse tõttu, et ''aRa''. Et sellise järelduse saab teha iga elemendi ''a'' korral, siis seos R on refleksiivne.
==Ekvivalentsiklassid==
|