В примере 2.45 отношение частичного порядка задается как "множество X
является подможеством множества Y
". И тогда говорим, что X
сравнимо с Y
.
По-этому, да - {a,b}
и ∅
сравнимы, так как пустое множество является подмножеством множества {a,b}
.
Для пары же множеств {a,b}
и {b,c}
, ни одно из них не является подмножеством другого. А значит они несравнимы.
В этом примере еще может сбивать с толку использование символа ≤
, так как для чисел это отношение полного порядка, т.е. для любых двух чисел a
и b
либо a≤b
либо b≤a
. Но в литературе именно этот символ используется для обозначения частичного порядка.
Хочу ответить на вопросы из комментариев о способах задания или определения отношений. Отношение это всегда множество пар. Но задать это множество можно по разному.
Первый способ, это просто перечислить все элементы множества R
(т.е. все пары (A, B)
, которые входят в R
). У этого способа сразу два неудобства:
- очень долго записывать
- посмотрев на элементы из
R
непросто сообразить, а какое правило это отношение задает
Второй способ, это задать правило, которое описывает отношение в общем виде. Вот как в примере R = {(T, V) для T ∈ X, V ∈ X и T ⊆ V}
. Обратите внимание, что тут мы задали (или по другому сказать определили) точно то же отношение.
Третий способ, это сказать словами R - это бинарное отношение "является подмножеством" над множеством X
. И опять же, этим определением, мы задаем точно то же отношение.
Все три способа, это просто разные способы задать некое множество пар.
И все следующие высказывания эквивалентны:
({1}, {1, 2}) ∈ R
{1}
является подмножеством {1, 2}
{1} ≤ {1, 2}
И да, если элементы принадлежат отношению порядка (или по другому находятся в отношении порядка), то они "сравнимы". Т.е. смысл такой, что мы можем их сравнить между собой. Отношения порядка задает, собственно, порядок для элементов, которые входят в отношение, т.е. возможность сказать какой из них больше или меньше. И именно в этом смысле используется термин "сравнимы", их можно сравнить между собой.
Harry
, а@Harry
- ну, или кому вы там пишете - так будет оповещение об ответе. А так - вы же понимаете, что просто каждые 10 минут смотреть, а не ответил ли кто - никто не будет :)