Intersections of compactly many open sets are open

Martín Hötzel Escardó

By definition, the intersection of finitely many open sets of any topological space is open. Nachbin observed that, more generally, the intersection of compactly many open sets is…