It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
è una definizione precisa con un preciso linguaggio formale che fa si che Mathematica sappia cosa fare in questi casi.