>>258
Sの閉包というのはS全体の集合の中にあるんですよね?