Разбейте составляющие вопроса. Начну с конца.
Запишите R как набор упорядоченных пар.
Хорошо, мы ищем набор упорядоченных пар. Упорядоченная пара - это два значения (то есть пара), где (1, 2)
не совпадает с (2, 1)
- порядок считается. Хорошо, какие пары входят в этот набор?
Пары, где:
x делит y тогда и только тогда, когда
существует целое число z такое, что xz = y
Таким образом, другими словами, "х делит у" - это то же самое, что сказать "у можно равномерно разделить на х". Мы привыкли так говорить, но «х делит у», конечно, более прямолинейно. Итак, 3 делит 12, потому что «12 делится на 3».
Используя эту формальную запись: «3 делит 12» именно потому, что я могу представить число z таким, что 3z = 9. Что это за целое число? Да ведь конечно 4!
Хорошо, теперь:
Пусть A = {1, 2, 3, 4, 6} и пусть R будет
бинарное отношение на A, определяемое как «x
делит у "
Что относится к этому отношению?