Cтраница 4
Множество с заданным на нем отношением частичного порядка называют частично упорядоченным. [46]
Предположим, что на / задано отношение частичного порядка, а именно для некоторых пар ( I, j) выполнено соотношение /; /, удовлетворяющее следующим условиям. [47]
Легко проверить, что Q - отношение частичного порядка на А. Поэтому цепь У ограничена. [48]
Предположим, что на / задано отношение частичного порядка, а именно для некоторых пар ( i, /) выполнено соотношение г /, удовлетворяющее следующим условиям. [49]
Это обстоятельство является причиной особого внимания к классу антирефлексивных, антисимметричных и транзитивных отношений. Бинарные отношения, обладающие этими тремя свойствами, называются отношениями частичного порядка. [50]
Этр определение непригодно для сравнения моделей с термами-множествами. Более адекватный критерий для сравнения моделей LDL задается с помощью отношения частичного порядка, которое определено ниже. [51]
В соответствии с информационным уровнем, на котором находится системное проектирование, разработчик может установить либо относительную значимость только некоторых элементов, либо упорядочить ( ранжировать) весь состав системы. В первом случае считается, что отношения, связывающие отдельные элементы системы, являются отношениями частичного порядка, а во втором случае они называются вполне упорядоченными. [52]