En la notación de la definición, se pone