Relation de equivalentia

Un relation binari $\sim$ sur un insimul $A$ se nomina un relation de equivalentiaPatrono:LinfoX, si e solmente si pro omne $a,b,c\in A$ es ver

• $a\sim a$ (reflexivitate).
• $a\sim b$ $\iff$ $b\sim a$ (symmetria).
• $a\sim b$ $\wedge$ $b\sim c$ $\Rightarrow$ $a\sim c$ (transitivitate).

Vide etiam

• Classe de equivalentia