Отношение - частичный порядок
Cтраница 2
Поэтому для нумераций xs отношение является отношением частичного порядка. [16]
Пусть дана реляционная системаМ &, где отношение частичного порядка. Для упрощения диаграмм не проводятся отрезки в случаях, когда отношение можно получить по транзитивности. [17]
В данном разделе мы приведем некоторые свойства отношений частичного порядка, полезные в том случае, когда эти отношения используются в качестве отношений поиска. [18]
Из теоремы 2 вытекает способ сокращенного задания отношений частичного порядка. [19]
Для ассоциативных колец и полугрупп отношение является отношением частичного порядка в множестве Е идемпотентных элементов и наз. [20]
Естественным способом определим на FX операцию сложения функций, а отношение частичного порядка определим правилом: f g, f, g e Fx, тогда и только тогда, когда f ( x) g ( x) для всякого х из X. Полученная структура на Fx является решеточно упорядоченной группой. Пусть X - произвольное линейно упорядоченное множество. [21]
Естественным способом определим на FX операцию сложения функций, а отношение частичного порядка определим правилом: f g, f, g e Fx, тогда и только тогда, когда f ( x) sg: g ( x) для всякого х из X. Полученная структура на FX является решеточно упорядоченной группой. Пусть X - произвольное линейно упорядоченное множество. Обозначим через А ( X) множество всех автоморфизмов X, т.е. взаимооднозначных отображений X на себя, сохраняющих порядок. Зададим на А ( X) структуру решеточно упорядоченной группы. Для любых ф, if из А ( X) групповую операцию определяем как суперпозицию ф и), т.е. ( р 1 з) ( х) т) ( ф ( д:)) х е X, а отношение частичного порядка определяем так: ф s: ф тогда и только тогда, когда q ( x) s tyix), х е X. [22]
А именно если на множестве термов ( данной сигнатуры) можно определить отношение частичного порядка, такое, что a) s / / [ s ] / [ / ]; b) s t scr to для любой подстановки а; с) отношение удовлетворяет условию обрыва убывающих цепей; d) т / для любого правила / - г из, то система R иетерова. [23]
Однако взаимосвязь между различными этапами доказательства есть не что иное, как отношение частичного порядка. Таким образом, естественно, хотя менее удобно, представлять доказательство деревом, а не последовательностью. [24]
Это понятие, так же как хермандерово понятие силы, приводит к отношению частичного порядка между операторами. В отличие от хермандеровой силы доминирование оказалось мало связанным с эллиптичностью. [25]
Подводя итог нашим рассуждениям, можно сказать, что Д-1 действительно является отношением частичного порядка. [26]
Пусть предикат P ( XI, x %) на Е задает такое отношение частичного порядка, в котором отсутствует либо наименьший, либо наибольший элементы. [27]
 |
Поле выбора решений. [28] |
На математическом языке это означает, что на множестве вариантов решений установлено так называемое отношение частичного порядка. С помощью прямых, параллельных координатным осям, разобьем плоскость на четыре части и обозначим их I, II, III и IV. В рассматриваемом нами двумерном случае каждая из этих частей имеет вид ( бесконечного) прямоугольника; в случае произвольной размерности они превращаются в так называемые конусы. [29]
Пусть p ( xi X2) - предикат семейства О, т.е. р есть отношение ограниченного частичного порядка на Ek. Будем предполагать, что О - наименьший, a k - 1 - наибольший элементы относительно этого частичного порядка. [30]
Страницы: 1 2 3 4