Działania które wykonamy na funkcjach równolicznych w zbiorach dobrego porządku obliczamy metodą podstawiania. Nie występują w nich niewiadome.
Do każdej z dwóch f : (~) obliczonych z funkcji różnowartościowej będzie należał pierwszy obiekt, ale f : ~(1y), f : ~(1z) będą zawierały różne wartości.
Jeżeli obiekty funkcji różnowartościowej [ pierwszy i drugi ] domknie ciąg liczbowy trójek <<1,2,3>, <1,2,4>,...,<7,8,9> to obliczymy funkcje f : ~(1y)
Jeżeli obiekty funkcji różnowartościowej [ pierwszy i trzeci ] domknie ciąg liczbowy trójek <<1,2,3>, <1,2,4>,...,<7,8,9> to obliczymy funkcje f : ~(1z)
W zbiorach
rozłącznych każda z funkcji równolicznych jest niepowtarzalna.
Twierdzenie : Każda funkcja odwrotna i odwracalna, względem funkcji równolicznej z której została obliczona będzie funkcją o różnych wartościach.