left total

• left-total

left total (not comparable)

1. (set theory, of a binary relation ${\displaystyle R}$ on ${\displaystyle A\times B}$) Such that every element of the domain is related to at least one element of the codomain: such that ${\displaystyle \forall a\in A\;\;\exists b\in B:(a,b)\in R}$

   Synonym: serial

   Coordinate term: right total

• If every element occurs exactly once, the relation is a function.