Большая Советская Энциклопедия (цитаты)

Отношение типа равенства

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

 


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 19.04.2024 21:16:54