Relation de equivalentia
Un relation binari  sur un insimul  se nomina un relation de equivalentia, si e solmente si pro omne  es ver
  (reflexivitate).
    (symmetria).
      (transitivitate).

Vide etiam 
 Classe de equivalentia

Mathematica