G-delta set

In general topology, a Gδ set is a subset of a topological space which is a countable intersection of open sets. An Fσ space is similarly a countable union of closed sets.

A Gδ in a complete metric space is again a complete metric space.