for f being Function
for x, y being set st rng f c= dom f & y in f orbit x holds
f . y in f orbit x