v. (-s), (ook: equivalentie), betrekking tussen elementen van een verzameling, die voldoet aan de eisen dat zij reflexief, symmetrisch en transitief is.
(e) Stelt men de equivalentierelatie voor door het symbool ~ dan betekent dit:
1. (reflexief) voor ieder element a is a ~ a;
2. (symmetrisch) voor twee elementen a en b volgt uit a ~ b dat ook b ~ a;
3. (transitief) voor drie elementen a, b, c volgt uit a ~ b en b ~ c dat ook a ~ c. Een voorbeeld van een equivalentierelatie is de congruentie en uiteraard de gelijkheid, →logica.
