1) множество состоит из различных объектов
2) мн-во однозначно определяется объектами, входящими в него
3) любое св-во определяет мн-во объектов, обладающих этим св-вом.
Операции над множествами:
1) объединение
2) пересечение
3) разность: А\В:=x э М | (х э А)и(х не э В)
4) дополнение См(А): х э М | x не э А
5) декартово произведение: А,В- множества АхВ:= (a,b) | (а э А)&(b э В)