Ero sivun ”Ekvivalenssirelaatio” versioiden välillä

(2) Jos aRb, niin myös bRa.

(3) Jos aRb ja bRc, niin aRc.

 

Ensimmäistä ominaisuutta sanotaan refleksiivisyydeksi, toista symmetrisyydeksi ja kolmatta transitiivisuudeksi. Joku yksittäinen määritelty [[relaatio]] eli suhde joukon alkioiden välillä on ekvivalenssi jos se on refleksiivinen, symmetrinen ja transitiivinen.