Определение. Отношение R на множестве Х называется отношением порядка, если оно транзитивно и асимметрично или антисимметрично.
Определение. Отношение R на множестве Х называется отношением строгого порядка, если оно транзитивно и асимметрично.
Примеры отношений строгого порядка: «больше» на множестве натуральных чисел, «выше» на множестве людей и др.
Определение. Отношение R на множестве Х называется отношением нестрогого порядка, если оно транзитивно и антисимметрично.
Примеры отношений нестрогого порядка: «не больше» на множестве действительных чисел, «быть делителем» на множестве натуральных чисел и др.
Определение. Множество Х называют упорядоченным, если на нем задано отношение порядка.
Пример. На множестве Х = {1; 2; 3; 4; 5} заданы два отношения: «х £ у» и «х – делитель у».
Оба эти отношения обладают свойствами рефлексивности, антисимметричности и транзитивности (постройте графы и проверьте свойства самостоятельно), т.е. являются отношением нестрогого порядка. Но первое отношение обладает свойством связности, а второе – нет.
Определение. Отношение порядка R на множестве Х называется отношением линейного порядка, если оно обладает свойством связности.
В начальной школе изучаются многие отношения порядка. Уже в первом классе водятся отношение «меньше», «больше» на множестве натуральных чисел, «короче», «длиннее» на множестве отрезков и др.
Контрольные вопросы
1. Дайте определение бинарного отношения на множестве Х.
2. Как записать утверждение о том, что элементы х и у находятся в отношении R?
3. Перечислите способы задания отношений.
4. Сформулируйте свойства, которыми могут обладать отношения. Как данные свойства отражаются на графе?
5. Какими свойствами должно обладать отношение, чтобы оно являлось отношением эквивалентности?
6. Как отношение эквивалентности связано с разбиением множества на классы?
7. Какими свойствами должно обладать отношение, чтобы оно являлось отношением порядка?