ポーランド空間
Just beyond the Borel sets in complexity are the analytic sets and coanalytic sets. A subset of a Polish space "X" is analytic if it is the continuous image of a Borel subset of some other Polish space. Although any continuous preimage of a Borel set is Borel, not all analytic sets are Borel sets. A set is coanalytic if its complement is analytic.