è una definizione precisa con un preciso linguaggio formale che fa si che Mathematica sappia cosa fare in questi casi.
Het is een precieze specificatie met een precieze formele taal die ervoor zorgt dat Mathematica weet wat het hier moet doen.