Injective relation
binary relation such that every element of the left set has at most one corresponding element in the right set