En er i matematikk en binær relasjon som er symmetrisk, refleksiv og transitiv. En ekvivalensrelasjon deler mengden inn i en partisjon av . To element i mengden er ekvivalente dersom de tilhører samme ekvivalensklasse. Alle ekvivalente elementer deler et sett av grunnleggende egenskaper, uten å være identiske.