translation.it: è una definizione precisa con un preciso linguaggio formale che fa si che Mathematica sappia cosa fare in questi casi.
translation.ro: E o specificație precisă cu un limbaj formal precis care determină Mathematica să știe ce să facă.