そのようなSは可算個の点の集まりになるからでは