Adjective
right total (not comparable)
(set theory) Of a binary relation, to have every element of the right set occur at least once:
∀
b
∈
B
∃
a
∈
A
:
(
a
,
b
)
∈
R
⊆
A
×
B
{\displaystyle \forall b\in B\exists a\in A:(a,b)\in R\subseteq A\times B}
Synonyms: (chiefly of functions) surjective, onto
Coordinate term: left total