Каковы основные свойства дополнения множества в теории множеств?

Некоторые свойства дополнения множества в теории множеств:

• Дополнение от дополнения множества равно самому множеству. dzen.ru Это свойство называется инволюцией. dzen.ru
• Объединение любого множества с его дополнением равно универсальному множеству. dzen.ru
• Пересечение множеств, одно из которых является исходным, а другое — его дополнением, даёт пустое множество. ru.hexlet.io
• Дополнением универсального множества является пустое множество, а дополнением пустого множества — универсальное множество. ru.hexlet.io
• Если исходное множество является подмножеством универсального множества, то и дополнение также будет подмножеством универсального множества. ru.hexlet.io
• Дополнение множества — это разность между универсальным множеством и исходным множеством. ru.hexlet.io
• Дополнением множества A до множества U называется множество элементов U, не принадлежащих A. portal.tpu.ru