Na mocy zasady abstrakcji relacja dzieli zbiór na niepuste i rozłączne zbiory nazywane klasami abstrakcji. Zbiór liczb całkowitych można zdefiniować jako zbiór tych właśnie klas abstrakcji. Klasa abstrakcji, do której należą , , etc. wyznacza liczbę całkowitą Klasy, do których należą pary dla i wyznaczają liczby ujemne
Na tak określonych klasach abstrakcji określa się działania
i dowodzi się, że ich wyniki nie zależą od wyboru reprezentantów klas abstrakcji oraz, że tak określone działania mają odpowiednie własności.
Przypisy
Bibliografia
Kategoria:Relacje równoważności