What do you call a topology that is closed under arbitrary intersections?
An arbitrary union, or a finite intersection, of open sets in a topological space is again open. What name is given to the hypothetical property that an arbitrary intersection of open sets is open?
As an example, consider a partially ordered set $X$. Call a subset