what is function ?

A relation f:A→B is said to be a function from A to B if

(i) dom f = A

(ii) No object of A has two or more different images in B.