ОТНОШЕНИЕ ТИПА РАВЕНСТВА, отношение эквивалентности, понятие логики и математики, выражающее факт наличия одних и тех же признаков (свойств) у различных объектов. Относительно таких общих признаков эти различные объекты неразличимы (тождественны, равны, эквивалентны), так что любой из них с равным основанием может служить "представителем" того класса эквивалентности, к-рому принадлежат все объекты, находящиеся между собой в О. т. р. Отношения типа равенства обладают свойствами рефлексивности, симметричности и транзитивности, а также, в определённых условиях и в определённых границах, т. н. свойством замены, состоящим в том, что объекты, находящиеся между собой в таком отношении, могут выполнять одни и те же функции, а их имена (обозначающие их слова) можно подставлять одно вместо другого в различные предложения. См. Абстракции принцип, Отношение, Понятие, Равенство, Тождество, Эквивалентность.
Смотреть больше слов в «Большой советской энциклопедии»
отношение эквивалентности, понятие логики и математики, выражающее факт наличия одних и тех же признаков (свойств) у различных объектов. Относи... смотреть
ОТНОШЕНИЕ ТИПА РАВЕНСТВА — двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (усло... смотреть
двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (условиям): 1) аксиоме рефлекси... смотреть