adjective Logic, Mathematics.
- (of a relation) having the property that an element may be assigned to several elements but that given an element, only one may be assigned to it.
adjective
- maths logic (of a relation) holding between more than one ordered pair of elements with the same first member