Jared explains why a finite intersection of closed sets is closed