In general, let Sn+1X be the union of SnX and P(SnX).
一般に、Sn+1X を SnX と P(SnX) の和集合とする。