Определение 3 (самое короткое, но требующее больше определений. Душнить на свой страх и риск, потому что может быть небезопасно. Проверяющий либо нифига не поймет, либо поймет и предположит, что скатали, и в любом случае очень сильно обидится. Просто это определение - единственное полноценно корректное с точки зрения математики): Необходимые определения: Декартово произведение множеств - множество всех пар, первый элемент которых из первого множества, а второй - из второго. Пример: A = {1, 2}; B = {a, b}; AxB = {(1, a), (1, b), (2, a), (2, b)} Отношение на двух множествах - некое подмножество их декартова произведения. Пример для натуральных чисел - отношение < = {(0, 1), (0, 2), (1, 2)...} Функциональное отношение: отношение, для которого для каждого элемента первого множества есть не более одной пары, его содержащей. Примеры: отношение < не работает, потому что 0 меньше и единицы, и двойки Отношение "меньше ровно на 1" работает Тотальное отношение: отношение, для которого для каждого элемента первого множества, есть хотя бы одна пара, его содержащая Примеры: отношение < на натуральных числах работает. Для любого числа есть другое, большее его отношение > на натуральных числах не работает. Для нуля нет числа, меньше его Функция - тотальное и функциональное отношение Получить значение функции от каждого аргумента можно просто выделив ту заведомо единственную пару, содержащую его