right total

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