En particular, una función es un caso particular de relación binaria, luego esta definición está basada en la que se adopte para las relaciones.