Переход к обратному отношению

Пример 2.25.

На множестве рассмотрим отношения и из предыдущего примера: , и , , где «быть меньше», т.е. , а «быть меньшим или равным», т.е. . Тогда , т.е. .

Рассмотрим операции второго класса, т.е. операции, не сводящиеся к теоретико-множественным.

Если бинарнре отношение на множестве , то обратное отношение определяется высказывательной формой: . Таким образом, если для некоторых и из множества выполняется соотношение , то для жтих элементов справедливо .

Дата добавления: 2014-01-05