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