G-delta set

In topology, X, a G-delta set (or G_δ set) is a countable intersection of open sets. In metrizable spaces, every closed set is a G_δ set.

The complement of a G_δ set is an F_σ. In a metrizable space, every open set is an F_σ set.