right total

• right-total

right total (not comparable)

1. (set theory) Of a binary relation, to have every element of the right set occur at least once: ${\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