Дополнение множества. Если в некотором рассуждении или в рамках определенной ситуации все используемые множества являются подмножествами некоторого множества U

Если в некотором рассуждении или в рамках определенной ситуации все используемые множества являются подмножествами некоторого множества U, то это множество называется универсальным множеством ( или универсумом ) для данного рассуждения.

Свойства универсума:

1. Если X Ì U, то X U = .

2. Если X Ì U, то X U = U.

Дополнением (до универсума) множества Х (обозначают или ù X) называют множество всех элементов, не принадлежащих Х, но принадлежащих U.

= { x x X }.