前後の文脈が良く分からんが、一般の位相空間の話で、
今、Xの開集合を定義しようとしてるわけだよな？
「有限個の点からなる部分集合は閉集合」を導くような何らかの仮定があるのか？