A relation that assigns to each element x from a set of inputs, or

$---$Select$---$

$,$ exactly one element y in a set of outputs, or

$---$Select$---$

$,$ is called a

$---$Select$---$

$.$