theorem Th10: :: YELLOW14:10

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