Пустое множество является подмножеством любого множества