Saturated set (intersection of open sets)

In general topology, a saturated set is a subset of a topological space equal to an intersection of (an arbitrary number of) open sets.