In uno dei libri di testo di matematica per il primo anno delle superiori più diffusi negli ultimi vent'anni (almeno fino al 2012), adottato quindi da gran parte degli insegnanti, laureati in matematica o fisica, si trova:
Si dice predicato un'espressione linguistica o matematica, in cui compaiono una o più variabili, la cui verità dipende da tali variabili. …  Dati due insiemi A e B non vuoti, si dice relazione tra l'insieme A e l'insieme B un predicato a due variabili r(x;y) avente senso per x∈A e y∈B. …   Si chiama dominio di una relazione r, e si indica con D, l'insieme degli elementi di A a cui è associato qualche elemento di B. …   Dati due insiemi non vuoti A e B si dice applicazione o funzione da A in B una relazione tra i due insiemi che a ogni x∈A fa corrispondere uno e uno solo y∈B. …   Diremo funzioni matematiche (o funzioni analitiche) quelle funzioni numeriche per le quali, a partire da un x del dominio A, l'immagine f(x) = y∈B si ottiene mediante un numero finito di operazioni matematiche.
Che ne dici?