上解析集

co-analytic set