§ 1. РАВЕНСТВА АЛГЕБРАИЧЕСКИХ ВЫРАЖЕНИЙ
Алгебраическое выражение, содержащее величины х, у, , z, сокращенно записывается в виде А (х, у, ..,, z). Заранее должно быть указано, на каком множестве оно рассматривается, т. е. какие значения могут принимать величины х, у, z - действительные или комплексные, или целые и т. д.
Значения величин, при которых выполнимы все действия, указанные в выражении A, называются допустимыми значениями. Они образуют область определения или множество допустимых значений выражения А. Иногда в связи с конкретным смыслом А на допустимые значения налагаются дополнительные условия.
В дальнейшем алгебраические выражения будем рассматривать на множестве действительных чисел, если не сделано специальных оговорок.
При совместном рассмотрении нескольких алгебраических выражений нужно брать общую часть их областей определения. Например, рассматривая совместно выражения

Два алгебраических выражения А и В, соединенные знаком равенства (=), образуют равенство:
О п р е д е л е н и е 1. Равенство, верное для всех допустимых значений, входящих в него величин, называется тождеством. Тождествами называются также и все верные числовые равенства.
Для обозначения тождественности двух выражений применяется также символ ≡:
(а·b)·с ≡ а·(b·с), (a + b)·c ≡ a·c + b·c.
Таким образом, равенства (1) бывают двух видов: тождества и уравнения.
Замечание. Понятия равенства, тождества и уравнения установлены не только для алгебраических, но и для любых математических выражений.
Тождества (2) обладают следующими основными свойствами:
- Если А ≡ В и B ≡ С, то А ≡ С;
- Если А ≡ В, то А + С ≡ В + С;
- Если А ≡ В, то А·С ≡ В·С,
Переход от алгебраического выражения А к тождественному с ним алгебраическому выражению В называется тождественным преобразованием.