Все множества предполагаются содержащимися в некотором множестве, “универсуме” U. Ниже через {x: P(x)} будет обозначать множество элементов xÎU, удовлетворяющих условию P(x).
· Пересечение множеств A и B определяется как AÇB={x: xÎA &xÎB},
· объединение множеств AÈB={x: xÎA Ú xÎB},
· разность множеств A\B={x: xÎA & ~(xÎB)} ,
· симметрическая разность ADB= A\BÈB\A,
· дополнение =U\A,
· объединение семейства множеств Ai = {x:($iÎI) xÎAi },
· пересечение семейства множеств Ai = {x:("iÎI) xÎAi } ,