Category:Definitions/Left-Total Relations
Jump to navigation
Jump to search
This category contains definitions related to Left-Total Relations.
Related results can be found in Category:Left-Total Relations.
Let $\RR \subseteq S \times T$ be a relation.
Then $\RR$ is left-total if and only if:
- $\forall s \in S: \exists t \in T: \tuple {s, t} \in \RR$
That is, if and only if every element of $S$ relates to some element of $T$.
Subcategories
This category has only the following subcategory.
M
- Definitions/Multifunctions (14 P)
Pages in category "Definitions/Left-Total Relations"
The following 3 pages are in this category, out of 3 total.