Большой энциклопедический словарь
РАВЕНСТВО
РАВЕНСТВО — в логике и математике — отношение взаимной заменяемости объектов, которые именно в силу этой заменяемости и считаются равными (а = b). Отношение равенства обладает свойствами рефлексивности (каждый объект равен самому себе) — симметричности (если а = b, то b = a) и транзитивности (если a = b, а b = c, то a = c). Буквенное равенство, верное для всех числовых значений входящих в него букв, называется тождеством.