Lusin's separation theorem
وضاحتی سیٹ تھیوری اور ریاضیاتی منطق میں، لوسین کی علیحدگی تھیوریم بیان کرتی ہے کہ اگر A اور B پولینڈ کی جگہ کے جداگانہ تجزیاتی ذیلی سیٹ ہیں، تو اس جگہ میں ایک بوریل سیٹ C ہے جیسے کہ A اور C = युزل۔ اس کا نام نیکولائی لوزین کے نام پر رکھا گیا ہے، جس نے اسے 1927 میں ثابت کیا تھا۔ تھیوریم کو یہ ظاہر کرنے کے لیے عام کیا جا سکتا ہے کہ جداگانہ تجزیاتی سیٹوں کی ہر ترتیب (این) کے لیے جداگانہ بوریل سیٹوں کی ایک ترتیب (بی این) ہوتی ہے جیسے کہ ہر این کے لیے این۔ بی این۔ ایک فوری نتیجہ سوسلن تھیوریم ہے، جس میں کہا گیا ہے کہ اگر کوئی سیٹ اور اس کی تکمیل دونوں تجزیاتی ہیں، تو سیٹ بوریل ہے۔ نوٹس حوالہ جات (یورپی ایڈیشن کے لیے)۔ ریاضیات کی بنیادوں میں وضاحتی سیٹ تھیوری تھیوریمز ٹوپولوجی میں تھیوریمز