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