このとき、集合への作用を考えているので数列はを満たさなければならない(の分割)。