Cтраница 2
Показать, что всякое антирефлексивное транзитивное отношение ациклично. [16]
Таким образом, всякое рефлексивное, симметричное и транзитивное отношение является отношением эквивалентности. [17]
ЕХО утверждает, что если симметричное и транзитивное отношение R обладает свойством Vx3yR ( х, у), то R рефлексивно. Остальные четыре задачи из [3] ( CLEX1 - CLEX4) системой TeRSe не решались, поскольку они являются задачами на тождество слов и их лучше рассматривать как таковые и решать с помощью редукций. [18]
К сожалению, отличительное свойство матрицы транзитивного отношения довольно трудно сформулировать четко и наглядно. [19]
Обозначим через S f г множество транзитивных отношений. [20]
Таким образом, создается впечатление, что транзитивное отношение в последовательности правил вывода суждений справедливо на первом шаге, но не справедливо в общем случае. [21]
Отношение называется порядком, если оно является рефлексивным, антисимметричным и транзитивным отношением. [22]
Это обстоятельство является причиной особого внимания к классу антирефлексивных, антисимметричных и транзитивных отношений. Бинарные отношения, обладающие этими тремя свойствами, называются отношениями частичного порядка. [23]
Отношение жвиваяентноом или экЕиеалэятность на X -это рефлекоИЕное, оиммэтрячное я транзитивное отношение. [24]
Например, можно положить, что утверждение X обогнал Y представляет транзитивное отношение. [25]
Теорема 1.5. Для любого отношения А транзитивное замыкание А равно пересечению Г В всех транзитивных отношений В, содержащих А. [26]
Существует продолжение на все критериальное пространство Rm отношения v причем это продолжение - является иррефлексив-ным и транзитивным отношением. [27]
Предельная величина цепей любой длины, соединяющих вершины х и I /, есть функция принадлежности нечетких транзитивных отношений между объектами а; и у. Построение транзитивных отношений между объектами заданного множества или же определение предельных величин цепей нечеткого графа служат подготовкой исходной информации для декомпозиции графа R на нечеткие подграфы. [28]
Но тем не менее это - первый случай, когда понятие доминирования в реальной игре оказывается столь тесно связанным с некоторым транзитивным отношением. [29]
Просматривая еще раз условия ( I) - ( IV), легко убеждаемся, что определенная здесь конгруэнция гр афов есть рефлексивное, симметричное и транзитивное отношение между графами. Обратим внимание на то, что в условии ( IV) речь идет не о какой-то совокупности, а о группе подстановок. [30]