Равенство

Равенство - в логике и математике - отношение взаимной заменяемости объектов, которые именно в силу этой заменяемости и считаются равными (а = b). Отношение равенства обладает свойствами рефлексивности (каждый объект равен самому себе), симметричности (если а = b, то b = a) и транзитивности (если a = b, а b = c, то a = c). Буквенное равенство, верное для всех числовых значений входящих в него букв, называется тождеством.