部分集合が0の場合でも、結果をtrueにするように変更