left-unique relation (Q54933429)
binary relation such that every element of the left set has at most one corresponding element in the right set
Language:
other details
aliases left unique relation
 injective relation
description binary relation such that every element of the left set has at most one corresponding element in the right set