Definition:Image (Set Theory)/Relation/Element

Definition
Let $\RR \subseteq S \times T$ be a relation. Let $s \in S$.

The image of $s$ by (or under) $\RR$ is defined as:


 * $\map \RR s := \set {t \in T: \tuple {s, t} \in \RR}$

That is, $\map \RR s$ is the set of all elements of the codomain of $\RR$ related to $s$ by $\RR$.

Thus:
 * $\map \RR s$

is another way to write:
 * $\RR \sqbrk {\set s}$

where $\RR \sqbrk {\set s}$ denotes the image of a subset of $\RR$.

Also denoted as
The symbol $\operatorname {Img}$ can also be used as follows:

For $s \in S$:
 * $\map {\operatorname {Img}_\RR} s := \RR \sqbrk s$

but this notation is rarely seen.

Some sources use $\RR \sqbrk s$ instead of $\map \RR s$, but it is preferred on to keep the notations for the image of an element separate from that for the image of a subset.

Warning
The two notations $s \mathrel \RR t$ and $\map \RR s = t$ do not mean the same thing.

The first means:
 * $s$ is related to $t$ by $\RR$

which does not exclude the possibility of there being other elements of $T$ to which $s$ relates.

The second means:
 * The complete set of elements of $T$ to which $s$ relates consists of $\set t$.

Also see

 * Definition:Image of Element under Mapping


 * Definition:Image of Subset under Relation
 * Definition:Domain of Relation
 * Definition:Codomain of Relation
 * Definition:Range of Relation


 * Definition:Preimage of Element under Relation (also known as Definition:Inverse Image)