Definition:Right-Total Relation

Definition

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

Then $\RR$ is right-total if and only if:

$\forall t \in T: \exists s \in S: \tuple {s, t} \in \RR$

That is, if and only if every element of $T$ is related to by some element of $S$.

That is, if and only if:

$\Img \RR = T$

where $\Img \RR$ denotes the image of $\RR$.

Also known as

A right-total relation can also be referred to as surjective or onto.

Also see

• Definition:Left-Total Relation

• Inverse of Right-Total Relation is Left-Total

• Definition:Surjection: a right-total mapping

• Results about right-total relations can be found here.