([0, 1], T1) पर विचार कीजिए, जहाँ T1, ℝ पर यूक्लिडियन संस्थितिकी द्वारा प्रेरित उप-समष्टि संस्थितिकी है, और मान लीजिए कि T2, [0, 1] पर कोई संस्थितिकी है। निम्नलिखित कथनों पर विचार कीजिए:
P: यदि T1, T2 का उचित उपसमुच्चय है, तो ([0, 1], T2) संहत नहीं है।
Q: यदि T2, T1 का उचित उपसमुच्चय है, तो ([0, 1], T2) हॉसडॉर्फ नहीं है।
तब
1
P सत्य है और Q असत्य है।
2
P और Q दोनों सत्य हैं।
3
P और Q दोनों असत्य हैं।
4
P असत्य है और Q सत्य है।