无限个开集的交必是开集。