G-delta subset

Definition
A subset of a topological space is termed a $$G_\delta$$ subset if it is expressible as a countable intersection of open subsets.

Stronger properties

 * Open subset

Related properties

 * F-sigma subset

There are related notions captured in the G hierarchy and F hierarchy