История изменений
Исправление aquadon, (текущая версия) :
(Одназначное) отображение из множества A в множество B есть подмножество пар из декартового произведения A*B (такое, что для любых двух его элементов вида (a,b1) и (a,b2) выполняется b1 = b2).
На случай, когда A или B не являются множествами, есть теория категорий, в которой отображения вводятся аксиоматически.
Исправление aquadon, :
(Одназначное) отображение из множества A в множество B есть подмножество пар из декартового произведения A*B (такое, что для любых двух его элементов вида (a,b1) и (a,b2) выполняется b1 = b2).
На случай, когда A или B не являются множествами есть теория категорий, в которой отображения вводятся аксиоматически.
Исходная версия aquadon, :
(Одназначное) отображение из множества A в множество B есть подмножество пар из декартового произведения A*B (такое, что для любых двух его элементов вида (a1,b) и (a2,b) выполняется a1 = a2).
На случай, когда A или B не являются множествами есть теория категорий, в которой отображения вводятся аксиоматически.