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