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

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

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

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

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

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

= { x x X }.

Свойства дополнения:

1. .

2. =.

3. .

4. .

5. .

6. .

7. .

8. Если А = В, то .

9. Если А В, то .

Дата добавления: 2014-01-06