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

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

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