It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Это – точное описание на точном формальном языке, и оно позволяет пакету Mathematica узнать, что надо делать.