Mathematical binary relation, such that every element of the left set is related with exactly one element of the right set.