Question

If a transformation is an isometry, how would you describe the relationship between the preimage and the image ?

Answer 1

The inverse image or preimage of a particular subset S of the codomain of a function is the set of all elements of the domain that map to the members of S. Image and inverse image may also be defined for general binary relations, not just functions.