Большая Советская энциклопедия - отношение типа равенства

отношение эквивалентности, понятие логики и математики, выражающее факт наличия одних и тех же признаков (свойств) у различных объектов. Относительно таких общих признаков эти различные объекты неразличимы (тождественны, равны, эквивалентны), так что любой из них с равным основанием может служить «представителем» того класса эквивалентности, которому принадлежат все объекты, находящиеся между собой в О. т. р. Отношения типа равенства обладают свойствами рефлексивности (См. Рефлексивность), симметричности (См. Симметричность) и транзитивности (См. Транзитивность), а также, в определённых условиях и в определённых границах, т. н. свойством замены, состоящим в том, что объекты, находящиеся между собой в таком отношении, могут выполнять одни и те же функции, а их имена (обозначающие их слова) можно подставлять одно вместо другого в различные предложения. См. Абстракции принцип, Отношение, Понятие, Равенство, Тождество, Эквивалентность.

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.