Analytic set (source code)

= Analytic set
{wiki}

An analytic subset of a Polish space is a continuous image of a <Borel set>, equivalently a projection of a closed subset of its product with the <Baire space of sequences>.