ポーランド空間
There are several equivalent definitions of analytic set. The following conditions on a subspace "A" of a Polish space "X" are equivalent: