Ekvivalenčna relacija
From Wikipedia, the free encyclopedia
Ekvivalenčna relacija v matematiki je dvočlena relacija ~ (včasih označena tudi kot R) v množici A, če veljajo za poljubne elemente a, b in c množice značilnosti:
- za vsak a velja a ~ a (zakon o povratnosti (refleksivnosti)).
- iz a ~ b sledi b ~ a (zakon o vzajemnosti (simetričnosti)).
- iz a ~ b in b ~ c sledi a ~ c (zakon o prehodnosti (tranzitivnosti)).