В лекции [https://zen.yandex.ru/media/id/603a418d1684900aa2499416/funkcii-623c2a6345b2554bbdf444b0] сформулировано понятие функции как частного случая бинарного отношения, у которого для каждого элемента из первого множества декартового произведения, на котором задано бинарное отношение, существует единственный элемент из второго множества декартового произведения, на котором задано бинарное отношение. Также в указанной лекции представлены свойства функций, такие как инъекция, сюръекция и биекция...