Matemáticamente este funcional resulta ser una aplicación del tipo: