— Ф. есть соединение букв или чисел при помощи знаков различных действий. Ф., получаемая при решении арифметической задачи, показывает, какие действия надо выполнить над данными числами, чтобы получить ответ на предложенный вопрос. При помощи Ф. теоремы получают краткое и ясное выражение. Напр. Ф. (а + b)с = ас + bс выражает теорему: "для того, чтобы сумму чисел а и b помножить на с, достаточно каждое из чисел а и b умножить на с и полученные произведения сложить".