无限个开集的交必是开集。
出自:实变函数