Right-Total Relation

set-theory

Definition

Right-Total Relation

A relation $R\subseteq A\times B$, from set $A$ to set $B$, is called right-total iff for every element $b\in B$ there is at least one element $a\in A$, i.e.:

$$\forall b\in B:\exists a\in A:(a,b)\in R$$