It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
E o specificație precisă cu un limbaj formal precis care determină Mathematica să știe ce să facă.