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