Бинарные отношения порядка. Отношение эквивалентности.

Порядок - способ упоряд. эл.-в множества с помощью Б.О.

Виды отношений порядка:

Квазипорядок(предпорядок) - отношение которое обладает свойствами транзитивности и рефлексивности.
Антирефлексивный порядок ( строгий) - $<$ антирефлексивный, асиметричный, антисимметричный и транзитивный.
Рефлексивный порядок (не строгий) $\leqslant$ - рефлексивно, антисимметричный и транзитивный.

Отношение эквивалентности (рефлексивно, симметрично, транзитивно)

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