Function as a relation

A relation f from A to B (both being non empty sets), that is a sub set of A×B is called a function from A to B if
For each a ЄA there exists b ЄB such that (a,b) Єf and if (a,b) Єf and (a,c) Єf means b = c.