Category:Right-Total Relations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Right-Total Relations.

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$.