Definition:Image (Relation Theory)/Relation/Relation/Class Theory

Definition
Let $V$ be a basic universe.

Let $\RR \subseteq V \times V$ be a relation in $V$.

The image of $\RR$ is defined and denoted as:
 * $\Img \RR := \set {y \in V: \exists x \in V: \tuple {x, y} \in \RR}$

That is, it is the class of all $y$ such that $\tuple {x, y} \in \RR$ for at least one $x$.

Also see

 * Definition:Domain of Relation (Class Theory)