Множество – фундаментальное неопределяемое понятие. Множество – это совокупность объектов, которые, с одной стороны, различны и отличимы друг от друга, а с другой стороны воспринимаются как единое целое.
Пусть А и В – два множества.
— упорядоченная пара, где первый элемент , а второй элемент .
Декартово произведение — это множество пар
Бинарным отношением f из множества А в множество В называется подмножество :
.
Функция — это такое отношение, что из и следует, что x=z, т. е. функциональность – это однозначность.
Пример.
А={1,2,3,4,5}
B={1,4,9,16,25}
={, , , , , , , , , ,…., …. ,,…..}
f={, , , , } – это функция, где b=a2.