Et element i er medlem av én og kun én ekvivalensklasse. To elementer av mengden er ekvivalente (med hensyn til ekvivalensrelasjonen) hvis og bare hvis de er elementer av samme ekvivalensklasse i partisjonen.