Вопрос7.Отношение называется отношением эквивалентности (или просто эквивалентностью), если оно рефлексивно, симметрично и транзитивно.

Примеры: а) Рассмотрим множество треугольников на координатной плоскости, считая, что треугольник задан, если даны координаты его вершин. Два треугольника будем считать равными (конгруэнтными), если при наложении они совпадают, то есть, переведены друг в друга с помощью некоторого перемещения. Равенство является отношением эквивалентности на множестве треугольников.

б) Отношение “иметь один и тот же остаток отделения на натуральное число ” на множестве натуральных чисел является отношением эквивалентности.

в) Отношение “быть делителем” не является на множестве  отношением эквивалентности. Оно обладает свойствами рефлексивности и транзитивности, но является антисимметричным.

Отношение  называется отношением нестрогого порядка, если оно является рефлексивным, антисимметричным и транзитивным.

Отношение  называется отношением строгого порядка, если оно является антирефлексивным, антисимметричным и транзитивным.

Оба типа отношений вместе называются отношениями порядка. Элементы сравнимы по отношению порядка , если выполняется одно из двух отношений или . Множество , на котором задано отношение порядка, называется полностью упорядоченным, если любые два его элемента сравнимы. В противном случае, множество называется частично упорядоченным.

Пример 3.

а) Отношения “ ” и “ ” являются отношениями нестрогого порядка, отношения “<” и “>” – отношениями строгого порядка (на всех основных числовых множествах). Оба отношения полностью упорядочивают множества и .

б) Определим отношения “ ” и “<” на множестве следующим образом:

1) , если ;

2) , если и при этом ходя бы для одной координаты выполняется .

Тогда, например, , но и несравнимы. Таким образом, эти отношения частично упорядочивают .,

в) На системе подмножеств множества отношение включения “ ” задаёт нестрогий частичный порядок, а отношение строгого включения “ ” задаёт строгий частичный порядок. Например, , а и не сравнимы.

г) Отношение подчинённости в трудовом коллективе создаёт строгий частичный порядок. В нём, например, несравнимыми являются сотрудники различных структурных подразделений (отделов и т. п.).

Рефлексивное отношение порядка называется нестрогим порядком.

Антирефлексивное отношение порядка называется строгим порядком.

Полное отношение порядка называетсялинейным порядком.

Не являющееся полным отношение порядка называется частичным порядком.

ОБОЗНАЧЕНИЕ. a<b, a>b, a≤b, a≥b.

вопрос8.  На множестве А определена алгебраическая операция, если каждым двум элементам этого множества, взятым в определенном порядке, однозначным образом поставлен в соответствие некоторый третий элемент из этого же множества.

Примерами алгебраических операций могут служить такие операции как сложение и вычитание целых чисел, сложение и вычитание векторов, матриц, умножение квадратных матриц, векторное умножение векторов и др.

Отметим, что скалярное произведение векторов не может считаться алгебраической операцией, т.к. результатом скалярного произведения будет число, и числа не относятся к множеству векторов, к которому относятся сомножители.

Ассоциативными называют операции, которые можно выполнять в произвольном порядке. По схеме: (x + y) + z = x + (y + z), где + - некоторая операция.

Дистрибутивной называют пару операций, для которых работает схема раскрытия скобок, характерная для сложения и умножения в арифметике:

x * (y + z) = (x * y) + (x * z) и  (x + y) * z = (x * z) + (y * z),  где * и + - некоторые логические операции.

Пусть дано некоторое множество , на котором задана совокупность операций . Структура вида называется алгеброй; множество называется несущим множеством, совокупность операций - сигнатурой, вектор “ ” операций называется типом.

Алгебраической системой <A;_F;_R> называется объект, состоящий из трёх множеств: непустого множества A, множества алгебраических операций _F, определёных на A, и множества отношений _R, определёных на A. Множество A называется носителем алгебраической системы. Если алгебраическая система не содержит операций, она называется моделью, если не содержит отношений, то – алгеброй.