è una definizione precisa con un preciso linguaggio formale che fa si che Mathematica sappia cosa fare in questi casi .
To właśnie jej precyzyjna specyfikacja precyzyjnym językiem formalnym pozwala Mathematice wiedzieć co z tym zrobić .