Enciclopedia della Matematica (2013)
simbolo funzionale
simbolo funzionale → predicati, linguaggio dei.