高数中关于开集的定义我有疑问

假设X是一个集合，如果存在一系列X的子集合满足下面的条件，那么每个这样的子集就称为X的一个开集，X称为拓扑空间。

空集和X为开集；有限多个开集之交为开集（无穷多个开集的交集未必是开集）；任意多个开集之并为开集。