En ekvivalensklass är en mängd definierad av ekvivalensrelation och ett element . Ekvivalensklassen .