równościowa Q). Symbolem [x]Q oznaczamy klasę abstrakcji ze względu na relację Q wyznaczoną przez element x. Mamy tedy dla każdego elementu y należącego do zbioru U: y [x]Q xQy, co czytamy: y należy do klasy abstrakcji [x]Q wtedy i tylko wtedy, gdy y jest równy x-owi pod względem Q (w naszym przykładzie, gdy y jest równointeligentny z x-em). W danym zbiorze możemy wyróżnić tyle różnych klas abstrakcji, ile można w nim wyróżnić jednolitych (homogenicznych) podzbiorów elementów, którym dana cecha przysługuje w tym samym stopniu. Podzbiory te są, oczywiście, rozłączne (nie mają elementów wspólnych) i w sumie dają