Процесс преобразования одного математического выражения в другое с сохранением того же значения. Используется для решения уравнений, упрощения выражений и доказательства тождеств