Ekvivalentssusseos

Vajab toimetamist


Seost R nimetatakse ekvivalentsusseoseks, kui ta on:

  1. refleksiivne, st iga element on seotud iseendaga: aRa
  2. sümmeetriline, st. aRb => bRa
  3. transitiivne, st. (aRb)&(bRc) => aRc