Sia S un insieme ed r una relazione definita nell'insieme S. Diciamo che r è una relazione di equivalenza  in S se r gode delle tre proprietà seguenti:

• Riflessiva: Ogni elemento di S è in relazione con sé stesso
• Simmetrica: Se x è in relazione con y allora y è in relazione con x
• Transitiva: Se x è in relazione con y e y è in relazione con z, allora x è in relazione con z