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