Siano S e T insiemi arbitrari. Supponiamo che ad ogni s appartenente a S venga associato un unico elemento di T. L'insieme f di tali associazioni é detto funzione o applicazione o trasformazione di S in T e si scrive f: S->T. Designamo con f(s) l'elemento di T che f fa corrispondere a s appartiene a S e lo definiamo immagine di s a mezzo di f ovalore di f in s. L'immagine f(A) di un qualsiasi sottoinsieme A di S e la preimmagine f-1(B) di un qualsiasi sottoinsieme B di T sono definite come segue:
f(A)= [f(s):s appartenente A] e f-1(B) = [s: f(s) appartiene a B]
E se qualcuno poi mi chiede perchè da settimane soffro d'insonnia................
MA COS'E' !!!!!!!!!! PERCHE' DEVO STUDIARE STE COSE!!!!!!!!
