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