Sを含むっていうんだからSより大きくなる。
実数の集合なら開区間(0,1)の閉包は閉区間[0,1]。