Відношення на множині $A$ називають відношенням еквівалентності, якщо воно рефлексивне, симетричне й транзитивне.