Пусть Х,У некоторые множества. Говорят, что задана функция с облостью определения Х и значениями в У, есть по некоторому закону, каждому элементу х э Х сопостовим элемент мн-ва У
Функция - закон, по которому каждому элементу области определения Х ставится в соответствие один элемент из области значений У
Отображение - множество значений функции f есть f(x):= y э У| существует х э Х(f(x) = y). Если А содержиться в Х, то f(A):= y э У | существует х э А (f(x)=y) называется образом множества А.
Сюръективная ф-ия – f(X)=Y (∀y ∈ Y ∃x ∈ X : f(x)=Y)
Инъективная ф-ия – ∀ x1,x2 ∈ X (x1 ≠ x2) ⇒ (f(x1) ≠ f(x2))
Биективная ф-ия – ф-ия, одновременно являющаяся сюръективной и инъективной