Oznaczmy symbolem A zbiór klas abstrakcji od relacji Q. Na zbiorze A dana jest relacja wyprzedzania generalnego S9. Niech Zi i Zj są dowolnymi klasami abstrakcji. Wobec tego mamy: <br><br> ZiS9Zj wtedy i tylko wtedy, gdy dla każdego x ze zbioru Zi i dla każdego y ze zbioru Zj jest: xSy.<br><br>Reasumując, relacja S zachodzi między przedmiotami należącymi do różnych klas abstrakcji, relacja Q zachodzi między elementami należącymi do tej samej klasy abstrakcji, zaś relacja S' zachodzi między samymi klasami abstrakcji. Schematycznie przedstawia to rys. 7.1.<br><br>Niech dany będzie podzbiór R zbioru liczb rzeczywistych, który jest uporządkowany przez relację mniejszości (&lt;). Funkcję