theorem Th5: :: JORDAN1K:5

for X being set
for Y being non empty set
for f being Function of X,Y
for A being Subset of X st f is bijective holds
(f .: A) ` = f .: (A `) by Th3, Th4;