Contradomínio

Dizemos que uma relação entre dois conjuntos de [m] A [/m] em [m] B [/m] é uma função quando todo elemento de:
a) [m] B [/m] é imagem de algum elemento de [m] A [/m].
b) [m] A [/m] é imagem de algum elemento de [m] B [/m].
c) [m] B [/m] é domínio de algum elemento de [m] A [/m].
d) [m] A [/m] possui apenas uma imagem em [m] B [/m].
e) [m] B [/m] possui apenas uma imagem em [m] A [/m].