Su definición es: