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

假设X是一个集合,如果存在一系列X的子集合满足下面的条件,那么每个这样的子集就称为X的一个开集 , X称为拓扑空间 。
【高数中关于开集的定义我有疑问】空集和X为开集;有限多个开集之交为开集(无穷多个开集的交集未必是开集);任意多个开集之并为开集 。