Polish space
In the mathematical field of descriptive set theory, a subset of a Polish space formula_1 is an analytic set if it is a continuous image of a Polish space. These sets were first defined by and his student .