ОТНОШЕНИЕ ТИПА РАВЕНСТВА

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





А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я