Cтраница 1
Введенное отношение транзитивно и, значит, является отношением эквивалентности. [1]
Введенное отношение эквивалентности разбивает множество Сг-атласов многообразия М на непересекающиеся классы. Объединение всех Сг-атласов данной Сг-структуры ( оно является также Сг - атласом) - есть ее максимальный атлас. [2]
Введенное отношение эквивалентности важно для понимания теоремы Тома и играет важную роль еще в целом ряде случаев. [3]
Введенное отношение порядка обладает многими привычными свойствами. [4]
Введенное отношение ЭТО-ЕСТЬ согласно свойству 1) является отношением простого наследования, позволяющим строить иерархии классов. Тексис допускает также отношения кратного наследования, позволяющие строить сети классов. [5]
Введенное отношение порядка между операторами, очевидно, транзитивно, т е если ЛВ, а ВС, то ЛС. [6]
Если введенное отношение порядка индуктивно, то из леммы Цорна следует, что класс допустимых с. [7]
XL становится структурой относительно введенного отношения и называется векторной структурой. [8]
Нетрудно видеть, что введенное отношение рефлексивно, симметрично и транзитивно. Поэтому все полубесконечные непрерывные кривые на поверхности М разбиваются на классы эквивалентных между собой кривых. Каждый такой класс определяет непрерывную ориентированную кривую. [9]
Несложно доказать, что введенное отношение рефлексивно, симметрично и транзитивно. [10]
Следовательно, с помощью таким образом введенного отношения множество Z целиком упорядочено. [11]
Следующие две леммы отмечают существенные свойства введенного отношения. [12]
Предоставим читателю убедиться в том, что введенное отношение эквивалентности симметрично, рефлексивно и транзи-тивно. [13]
Ростком отображения в точке называется класс эквивалентности по введенному отношению эквивалентности. [14]
Собственно, только после установления этих свойств мы можем с полным основанием называть введенное отношение между матрицами равенством. [15]