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

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