It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Es una indicación precisa con lenguaje preciso y formal que logra que Mathematica sepa qué es lo que debe hacer aquí.