El significado inicial es "una función que toma funciones como su argumento"; es decir, una función cuyo dominio es un conjunto de funciones.