G-delta set/Definition

A subset of a topological space that is a countable intersection of open sets.