Rendere la def di composizione di funzioni piu esplicita

EnricoV: credo che si debba dare la definizione elementare della
composizione di due funzioni. Si può scegliere se presentarla come une
version esplicita della definizione della composizione di due relazioni fun-
zionali o se darla come primitiva e poi osservare che si ritrova come caso
particolare della composizione di relazioni, ma non la si può ignorare.