funkcje odwracalne i przeliczalne obliczone z f : (~) dwóch brzegów zbiorów równolicznych będą tylko i tylko do nich należały.