1.3.1. Некоторые определения из теории множеств

Множество – фундаментальное неопределяемое понятие. Множество – это совокупность объектов, которые, с одной стороны, различны и отличимы друг от друга, а с другой стороны воспринимаются как единое целое.

Пусть А и В – два множества.

- упорядоченная пара, где первый элемент , а второй элемент .

Декартово произведение - это множество пар

Бинарным отношением f из множества А в множество В называется подмножество :

.

Функция - это такое отношение, что из и следует, что x=z, т. е. функциональность – это однозначность.

Пример.

А={1,2,3,4,5}

B={1,4,9,16,25}

={, , , , , , , , , ,…., …. ,,…..}

f={, , , , } – это функция, где b=a².