Gδ set

In the mathematical field of topology, a Gδ set is a subset of a topological space that is a countable intersection of open sets. The notation originated from the German nouns Gebiet 'open set' and Durchschnitt 'intersection'. Historically Gδ sets were also called inner limiting sets, but that terminology is not in use anymore. Gδ sets, and their dual, F𝜎 sets, are the second level of the Borel hierarchy.