In de
wiskunde is een
equivalentierelatie een
tweeplaatsige relatie die alle
elementen uit een
verzameling die in bepaalde zin gelijkwaardig zijn aan elkaar, aan elkaar koppelt. Aldus deelt een equivalentierelatie de verzameling op in klassen van elementen die gelijkwaardig aan elkaar zijn.
Op dezelfde dag geboren zijn als is bijvoorbeeld een equivalentierelatie, die de verzameling van alle mensen opdeelt in groepen van mensen die op dezelfde dag geboren zijn.