2.3.1 Definição Formal de Função.

Definição 2.6.

Uma função f definida em A com valores em B e domínio D(f) .

A, a um subconjunto Gf .

A × B que satisfaz as seguintes condições:

i) .

x .

D(f), .

y .

B tal que (x, y) .

Gf .

ii) Se (x, y) .

Gf e (x, z) .

Gf , então y = z.

Da parte i) podemos afirmar que a todo elemento x .

D(f) corresponde pelo menos um elemento y .

B tal que (x, y) .

Gf ; e de ii) o elemento y associado ao elemento x é único.