# G-delta

In a topological space $X$ a subset which is the countable intersection of open sets. See Borel set and also F-sigma.