Primer Parcial

Buenas, mi duda es la siguiente, si tengo que definir una función $f : A \to B$.

Al momento de definir los pasos inductivos de $f$. Se debe escribir:

1) Si $a \in A \implies f(aa)= ....$

o

2) Si $f(a) \in B \implies f(aa)=....$

Yo siempre lo hice con la forma del 1), pero lo vi en algunos apuntes con la forma 2) y me confundió.

Cual es la correcta?

Gracias.

Saludos.