Теоретико-множественное определение

В теоретической математике функцию удобно определить как бинарное отношение (то есть множество упорядоченных пар ), которое удовлетворяет следующему условию: для любого^[3] существует единственный элемент такой, что .

Это и позволяет говорить о том, что элементу сопоставлен один и только один элемент такой, что .

Таким образом, функция — это упорядоченная тройка (или кортеж) объектов , где

· множество называется о́бластью определе́ния;

· множество называется о́бластью значе́ний;

· множество упорядоченных пар или, что то же самое, график функции.

· ТАБЛИЦА ПРОИЗВОДНЫХ