条件は部分集合だろ?