S2、含まれる全ての有限部分集合S'を考え