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