It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
É uma especificação precisa com uma linguagem formal precisa que faz Mathematica saber o que fazer nesses casos.