>>558
すべてのiについてSi⊆S'ならば、S⊆S'
なぜならば、S=すべてのSiの和集合だから（定義3.2.3)

なので、part(b)では、iについての帰納法でSi⊆S'を証明している。