Пустое множество является подмножеством