\aleph_0<|S|<2^{\aleph_0}