Ekvivalenčna relacija

Iz MaFiRaWiki

Relacija R \subseteq A \times A je ekvivalenčna relacija, če je:

Ekvivalenčna relacija R določa razbitje množice A na ekvivalenčne razrede.

Zgledi

  • Enakost je ekvivalenčna relacija.
  • Logična operacija ekvivalenca je ekvivalenčna relacija na logičnih izjavah.
  • Vzporednost premic je ekvivalenčna relacija na premicah dane ravnine.
  • Pravokotnost premic ni ekvivalenčna relacija, ker je samo simetrična.

Glej tudi

Osebna orodja