partial function

Also known as univalent relation, right-unique relation, right-definite relation, right unique relation, right definite relation, partial mapping

function whose actual domain of definition may be smaller than its input set