「(S, O) を1つの位相空間とする。」と

>>18

の前に書いてあるので、 S は空集合ではありません。