theorem Th9: :: YELLOW14:9

for S, T being RelStr
for f being Function of S,T st f is isomorphic holds
f is onto