2.6.Функции(отображения).Математическая логика и теория алгоритмов.

Функция из множества X во множество Y представляет собой специальное отношение на X × Y , обладающее следующими свойствами: 1. Областью определения отношения является все множество X . Следовательно, для каждого элемента x из X существует элемент y из Y такой, что x и y связаны данным отношением. 2. Если x относится к y и x относится к z, то y = z. В терминах упорядоченных пар это утверждение означает, что если x, y и x, z принадлежат отношению, то y = z. Весь материал взят: