Relation de equivalentia

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

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

Vide etiam

• Classe de equivalentia