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.

References

• J.L. Kelley (1955). General topology. van Nostrand, 207-208.