for S, T being non empty RelStr
for f being Function of S,T st f is isomorphic holds
f /" is isomorphic