partial function (Q1756942)
function whose actual domain of definition may be smaller than its input set
Language:
other details
aliases univalent relation
right-unique relation
right-definite relation
right unique relation
right definite relation
partial mapping
description function whose actual domain of definition may be smaller than its input set

External Links