تحليل رياضي, رياضيات, نظرية المجموعات, نظرية المجموعات الوصفيةالمجموعة التحليلية المرافقة (Coanalytic Set)