Теорема о свойствах пустого множества


 * пустое множество является подмножеством любого множества
 * пустое множество взаимнодизъюнктно с любым множеством
 * объединение пустого множества и произвольного множества равно данному множеству