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.