Cтраница 2
Читатель, дойдя до этого места, наверняка уже нашел ошибку в доказательстве того, что рефлексивность отношения следует из симметричности и транзитивности. [16]
Ak X52 / a / и единственным ссылочным элементом am Ak - В отличие от ссылочного элемента древовидных структур можно допустить, что ат ф Sik / um, поскольку рефлексивность отношения не следует из полноты множества значений. [17]
Отношение эквивалентности обладает свойствами рефлексивности, симметричности и транзитивности. Рефлексивность отношения R обозначает выполнение Е с: и, где Е - диагональное отношение. На главной диагонали матрицы рефлексивного отношения стоят единицы. В понятиях типа похож на, подобен выделяют свойство симметричности. [18]
В силу сюръективности отображения а для всякого у е L существует прообраз х, для которого а ( х) у. Таким образом, рефлексивность отношения А влечет рефлексивность отношения В. [19]
РАВЕНСТВА АКСИОМЫ - аксиомы, регулирующие употребление отношения равенства в математич. Аксиомы эти утверждают рефлексивность отношения равенства и возможность замены равного равным. [20]
В силу сюръективности отображения а для всякого у е L существует прообраз х, для которого а ( х) у. Таким образом, рефлексивность отношения А влечет рефлексивность отношения В. [21]
Математическое содержание аксиом равенства очень просто. Аксиома ( е) ( или ( е)) выражает рефлексивность отношения равенства, Аксиомы ( е3) ( или ( е)) и ( ед) ( или ( е) выражают, соответственно, симметричность и транзитивность отношения равенства. Аксиома ( е4) ( или ( е)) утверждает, что любая представленная функтором функция принимает равные значения при равных аргументах. [22]
Математическое содержание аксиом равенства очень просто. Аксиома ( е:) ( или ( е)) выражает рефлексивность отношения равенства. Аксиомы ( е2) ( или ( е0) и ( е3) ( или ( е выражают, соответственно, симметричность и транзитивность отношения равенства. Аксиома ( е4) ( или ( е) утверждает, что любая представленная функтором функция принимает равньге значения при равных аргументах. [23]
Каждый узел Подсписка, представляющий множества / a / eW, идентифицирован общим отношением Rk Aky ( 9ti / aj и единственным ссылочным элементом атеЛ &. В отличие от ссылочного элемента древовидных структур можно допустить, что am ф & ik / cim, поскольку рефлексивность отношения не следует из полноты множества значений. [24]