Мы пряняли истинным утверждение, что домовых не существует, следовательно можество домовых является пустым. Согласно теории множеств, пустое множество является подмножеством любого множества. Следовательно можно утверждать, что множество домовых является подмножеством множества обитателей жилых помещений. Кто является обитателем жилых помещений, это как сами захотите, значения это не имеет.
