Ero sivun ”Ekvivalenssirelaatio” versioiden välillä
[arvioimaton versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
Korjattu refleksiivisyys |
|||
Rivi 1:
Joukon M alkioiden välillä määritelty relaatio R on '''ekvivalenssirelaatio''', jos se toteuttaa seuraavat kolme ehtoa:
(1)
(2) Jos aRb, niin myös bRa.
(3) Jos aRb ja bRc, niin aRc.
|