left total adjective1 •Such that every element of the domain is related to at least one element of the codomain: such that ∀a∈A;;∃b∈B:(a,b)∈R
