Surjective relation

binary relation such that every element of the right set has a corresponding element in the left set