Definition:Image (Relation Theory)

Definition
The definition of a relation given here as a subset of the Cartesian product of two sets gives a "static" sort of feel to the concept.

However, we can also consider a relation as being an operator, where you feed an element $s \in S$ (or a subset $S_1 \subseteq S$) in at one end, and you get a set of elements $T_s \subseteq T$ out of the other.

Thus we arrive at the following definition.

Also see

 * Mapping, in which the context of an image is usually encountered.


 * Domain
 * Codomain
 * Range


 * Preimage (also known as inverse image)