Существуют множества X,Y. Говорят, что на множестве Х задано отображение функции со значениями во множестве У, если каждому элементу х по некоторому закону ставятся в соответствие определенные элементы y. y=f(x) x – праобраз элемента у при отображении f^-1(y). Их может быть несколько, а f(х) только один. Основную роль играет операция взятия праобраза. Она сохраняет объединения, пересечения и дополнения. В то время как операция взятия образа сохраняет лишь операцию объединения. Инъекция – если для любых двух различных x1, x2 нение y=f(x) имеет не более одного решения. Сюрьекция – если для любого у существует х => всегда есть хотябы одно решение. Биекция – Есть только одно решение.