Category:Right-Total Relations
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$.
Pages in category "Right-Total Relations"
The following 5 pages are in this category, out of 5 total.