View source for परिमित प्रतिच्छेदन गुण

[[सामान्य टोपोलॉजी|सामान्य सांस्थितिकी]] में गणित के [[सेट (गणित)|समुच्चय]] <math>X</math> के उपसमुच्चय के एक गैर-रिक्त समुच्चय <math>A</math> को '''परिमित प्रतिच्छेदन गुण''' (एफआईपी) कहा जाता है यदि <math>A</math> के किसी भी परिमित उपसमुच्चय पर प्रतिच्छेदित [[खाली सेट|गैर-रिक्त समुच्चय]] है। यदि <math>A</math> के किसी भी परिमित उपसमुच्चय पर प्रतिच्छेदन अनंत है तो इसमें समिश्र परिमित प्रतिच्छेदन गुण (एसएफआईपी) है। परिमित प्रतिच्छेदन गुण वाले समुच्चय को केंद्रित प्रणाली या फ़िल्टर उपसमुच्चय भी कहा जाता है।{{sfn|Joshi|1983|pp=242−248}}

परिमित प्रतिच्छेदन गुण का उपयोग [[बंद सेट|सवृत समुच्चय]] के संदर्भ में सांस्थितिक समानता को सुधारने के लिए किया जा सकता है। यह इसका सबसे प्रमुख अनुप्रयोग है अन्य अनुप्रयोगों में यह सिद्ध करना और [[अल्ट्राफिल्टर (सेट सिद्धांत)|अल्ट्राफिल्टर (समुच्चय सिद्धांत)]] का निर्माण करना सम्मिलित है कि कुछ निश्चित समुच्चय अनंत हैं।

==परिभाषा==

मान लीजिए कि <math display="inline">X</math> एक समुच्चय है और <math display="inline">\mathcal{A}</math>, <math display="inline">X</math> के उपसमुच्चय का एक गैर रिक्त समुच्चय है अर्थात <math display="inline">\mathcal{A}</math>, {{Nowrap|<math display=inline>X</math>}} की घात समुच्चय का एक उपसमुच्चय है तब <math display="inline">\mathcal{A}</math> को परिमित प्रतिच्छेदन गुण कहा जाता है यदि प्रत्येक गैर-रिक्त परिमित उपसमुच्चय में गैर-रिक्त प्रतिच्छेदन होता है तो इसे समिश्र परिमित प्रतिच्छेदन गुण कहा जाता है यदि वह प्रतिच्छेदन सदैव अनंत होता है।{{sfn|Joshi|1983|pp=242−248}} प्रतीकों में {{Nowrap|<math display=inline>\mathcal{A}</math>}} के पास एफआईपी होती है यदि {{Nowrap|<math display=inline>\mathcal{A}</math>}} के किसी परिमित गैर-रिक्त उपसमुच्चय <math display="inline">\mathcal{B}</math> के किसी भी विकल्प के लिए एक बिंदु उपस्थित है: <math display="block">x\in\bigcap_{B\in \mathcal{B}}{B}\text{.}</math>



इसी प्रकार <math display="inline">\mathcal{A}</math> के पास एसएफआईपी होती है यदि ऐसे ही {{Nowrap|<math display=inline>\mathcal{B}</math>}} के प्रत्येक विकल्प के लिए अपरिमित {{Nowrap|<math display=inline>x</math>}} होते हैं।{{sfn|Joshi|1983|pp=242−248}}

[[फ़िल्टर (सेट सिद्धांत)|फ़िल्टर (समुच्चय सिद्धांत)]] के अध्ययन में एक समुच्चय के सामान्य प्रतिच्छेदन को कर्नेल कहा जाता है, जिसकी व्युत्पत्ति [[सूरजमुखी (गणित)]] के समान ही है। रिक्त कर्नेल वाले समुच्चयों को मुक्त समुच्चय कहा जाता है और गैर-रिक्त कर्नेल वाले समुच्चयों को स्थिर समुच्चय कहा जाता है।{{sfn|Dolecki|Mynard|2016|pp=27–29, 33–35}}

==उदाहरणों और गैर-उदाहरणों के समुच्चय==
रिक्त समुच्चय परिमित प्रतिच्छेदन गुण वाले किसी भी समुच्चय से संबंधित नहीं हो सकते हैं। एफआईपी प्रतिच्छेदन गुण के लिए एक पर्याप्त गैर-रिक्त कर्नेल अवधारणा है। व्युत्पत्ति सामान्यतः गलत होती है, लेकिन परिमित समुच्चयों के लिए मान्य है अर्थात, यदि <math>\mathcal{A}</math> परिमित समुच्चय है तो <math>\mathcal{A}</math> के पास परिमित प्रतिच्छेदन गुण होते है यदि और केवल यदि यह निश्चित समुच्चय है तब <math>\mathcal{A}</math> के पास परिमित प्रतिच्छेदन गुण नही होते हैं।

=== युग्म प्रतिच्छेदन ===
परिमित प्रतिच्छेदन गुण युग्म प्रतिच्छेदन की तुलना में अधिक समिश्र होते है जो समुच्चय <math>\{\{1,2\}, \{2,3\}, \{1,3\}\}</math> में युग्म प्रतिच्छेदित है, लेकिन एफआईपी मे युग्म प्रतिच्छेदित नहीं होते है। सामान्यतः माना कि <math display="inline">n \in \N\setminus\{1\}</math> इकाई {{Nowrap|<math display=inline>[n]=\{1,\dots,n\}</math>}} और {{Nowrap|<math display=inline>\mathcal{A}=\{[n]\setminus\{j\}:j\in[n]\}</math>}} से बड़ा एक धनात्मक पूर्णांक है जब <math display="inline">n</math> से कम तत्वों वाले <math>\mathcal{A}</math> के किसी भी उपसमुच्चय में गैर-रिक्त प्रतिच्छेदन होता है, लेकिन <math display="inline">\mathcal{A}</math> में परिमित प्रतिच्छेदन गुणों का अभाव होता है।

=== अनंत-प्रकार के निर्माण ===
यदि <math>A_1 \supseteq A_2 \supseteq A_3 \cdots</math> गैर-रिक्त समुच्चयों का घटता क्रम है तो समुच्चय <math display="inline">\mathcal{A} = \left\{A_1, A_2, A_3, \ldots\right\}</math> में परिमित प्रतिच्छेदन गुण है और यह एक {{pi}}-प्रणाली भी है। यदि समुच्चय <math>A_1 \supseteq A_2 \supseteq A_3 \cdots</math> [[सख्त उपसमुच्चय|समिश्र उपसमुच्चय]] हैं, तो <math display="inline">\mathcal{A}</math> समिश्र परिमित प्रतिच्छेदन गुण को भी स्वीकृत करता है। अधिक सामान्यतः किसी भी समुच्चय <math display="inline">\mathcal{A}</math> को पूरी तरह से सम्मिलित करने का क्रम दिया जाता है, जिसमें एफआईपी होता है।उसी समय समुच्चय <math display="inline">\mathcal{A}</math> का कर्नेल रिक्त हो सकता है यदि {{Nowrap|<math display=inline>A_j=\{j,j+1,j+2,\dots\}</math>,}} तो कर्नेल <math>\mathcal{A}</math> रिक्त समुच्चय है। इसी प्रकार अंतरालों के समुच्चय <math>\left\{[r, \infty) : r \in \R\right\}</math> में भी परिमित प्रतिच्छेदन गुण होते हैं लेकिन समुच्चय रिक्त कर्नेल समुच्चय होता है।

=== सामान्य समुच्चय और गुण ===
लेबेस्ग माप <math display="inline">1</math> के साथ <math>[0, 1]</math> के सभी [[बोरेल सेट|बोरेल]] उपसमुच्चय के पास परिमित प्रतिच्छेदन गुण होते हैं जैसे कि कॉमेग्रे समुच्चय के समुच्चय के पास परिमित प्रतिच्छेदन गुण होते हैं। यदि <math display="inline">X</math> एक अनंत समुच्चय है तब फ़्रेचेट फ़िल्टर {{Nowrap|<math display=inline>\{X\setminus C:C\text{ finite}\}</math>)}} में परिमित प्रतिच्छेदन गुण होते है। ये सभी मुक्त फ़िल्टर समुच्चय हैं, वे ऊपर की ओर सवृत और रिक्त अनंत प्रतिच्छेदित समुच्चय हैं।{{sfn|Bourbaki|1987|pp=57–68}}{{sfn|Wilansky|2013|pp=44–46}}

यदि <math>X = (0, 1)</math> प्रत्येक धनात्मक पूर्णांक <math>i</math> के लिए उपसमुच्चय <math>X_i</math> मे <math>i</math> दशमलव के स्थान पर अंक <math>0</math> वाले <math>X</math> के सभी तत्व हैं, तो <math>X_i</math> का कोई भी परिमित प्रतिच्छेदन गैर-रिक्त हो सकता है यदि कुछ स्थान पर <math>0</math> और कुछ स्थान पर <math>1</math> मान लिया जाए, लेकिन सभी <math>i \geq 1</math> के लिए <math>X_i</math> का प्रतिच्छेदन रिक्त होता है क्योंकि <math>(0, 1)</math> के किसी भी तत्व में सभी शून्य अंक नहीं होता है।

=== परिमित समुच्चय का विस्तार ===
परिमित प्रतिच्छेदन समुच्चय की एक विशेषता समुच्चय {{Nowrap|<math display=inline>\mathcal{A}</math>}} है न कि समुच्चय {{Nowrap|<math display=inline>X</math>}} है यदि समुच्चय <math display="inline">X</math> पर एक समुच्चय <math display="inline">\mathcal{A}</math> और {{Nowrap|<math display=inline>X\subseteq Y</math>}} को स्वीकृत करता है तो <math display="inline">\mathcal{A}</math> भी समुच्चय <math display="inline">Y</math> पर परिमित प्रतिच्छेदन गुण वाला एक समुच्चय है।

=== निर्मित फ़िल्टर और सांस्थितिक समुच्चय ===
{{See also|#π-प्रणाली और फिल्टर से संबंध
}}

यदि <math>K \subseteq X</math> को <math>K \neq \varnothing</math> के साथ समुच्चय किया गया है तो समुच्चय <math>\mathcal{A}=\{S \subseteq X : K \subseteq S\}</math> के पास परिमित प्रतिच्छेदन गुण होते है यदि इस समुच्चय को <math display="inline">X</math> द्वारा उत्पन्न {{Nowrap|<math display=inline>K</math>}} पर प्रमुख फ़िल्टर समुच्चय कहा जाता है। उपसमुच्चय ⊆ और एक विवृत अंतराल <math>\mathcal{B} = \{I \subseteq \R : K \subseteq I \text{ and } I \text{ an open interval}\}</math> में परिमित प्रतिच्छेदन गुण होते है लगभग इसी कारण से कर्नेल में गैर-रिक्त समुच्चय {{Nowrap|<math display=inline>K</math>}} होता है यदि <math display="inline">K</math> एक विवृत अंतराल है, तो समुच्चय <math display="inline">K</math> वास्तव में <math display="inline">\mathcal{A}</math> या {{Nowrap|<math display=inline>\mathcal{B}</math>}} के कर्नेल के बराबर है और प्रत्येक फ़िल्टर समुच्चय का एक तत्व भी है लेकिन सामान्यतः फ़िल्टर के कर्नेल को फ़िल्टर समुच्चय का एक तत्व होना आवश्यक नहीं होता है।

किसी समुच्चय पर एक उपयुक्त फ़िल्टर समुच्चय में परिमित प्रतिच्छेदन गुण होते है यदि [[टोपोलॉजिकल स्पेस|सांस्थितिक समष्टि]] में एक बिंदु पर प्रत्येक निकटम उपसमुच्चय में परिमित प्रतिच्छेदन गुण है और यही विशेषता प्रत्येक निकटम उपसमुच्चय के आधार और एक बिंदु पर प्रत्येक निकटम फिल्टर समुच्चय के लिए भी प्रयुक्त होती है क्योंकि प्रत्येक समुच्चय विशेष रूप से एक निकटम उपसमुच्चय भी होते हैं।

=={{pi}}-प्रणाली और फिल्टर समुच्चय मे संबंध ==
{{Main|पाई-प्रणाली
|}}

एक {{pi}}-प्रणाली समुच्चयों का एक गैर-रिक्त समुच्चय है जो परिमित प्रतिच्छेदन के अंतर्गत सवृत समुच्चय है:  <math display="block">\pi(\mathcal{A}) = \left\{A_1 \cap \cdots \cap A_n : 1 \leq n < \infty \text{ and } A_1, \ldots, A_n \in \mathcal{A}\right\}</math>एक या अधिक समुच्चयों के सभी परिमित प्रतिच्छेदनों को {{Nowrap|<math display=inline>\mathcal{A}</math>,}} द्वारा उत्पन्न {{pi}}-प्रणाली कहा जाता है, क्योंकि यह उपसमुच्चय के रूप में {{Nowrap|<math display=inline>\mathcal{A}</math>,}} वाली सबसे छोटा π-प्रणाली है और <math display="inline">X</math> , <math>\pi(\mathcal{A})</math> का विवृत समुच्चय है: 

<math display="block">\pi(\mathcal{A})^{\uparrow X} = \left\{S \subseteq X : P \subseteq S \text{ for some } P \in \pi(\mathcal{A})\right\}\text{.}</math> 

किसी भी समुच्चय के लिए {{Nowrap|<math display=inline>\mathcal{A}</math>,}} परिमित प्रतिच्छेदन गुण निम्नलिखित में से किसी के बराबर होते है:

<ul><li>समुच्चय <math>\mathcal{A}</math> द्वारा उत्पन्न π-प्रणाली में एक तत्व के रूप में रिक्त समुच्चय नहीं है जो कि <math>\varnothing \notin \pi(\mathcal{A})</math> समुच्चय है।
</li>
<li>समुच्चय <math>\pi(\mathcal{A})</math> परिमित प्रतिच्छेदन गुण है।</li>
<li>समुच्चय <math>\pi(\mathcal{A})</math> एक प्रीफ़िल्टर समुच्चय है।<ref name="ProperDef" group="note">A filter or prefilter on a set is {{em|{{visible anchor|proper}}}} or {{em|{{visible anchor|non-degenerate}}}} if it does not contain the empty set as an element. Like many − but not all − authors, this article will require non-degeneracy as part of the definitions of "prefilter" and "[[Filter (set theory)|filter]]".</ref>
</li>
<li>समुच्चय <math>\mathcal{A}</math> कुछ प्रीफ़िल्टर के साथ एक उपसमूह है।{{sfn|Joshi|1983|pp=242−248}}</li>
<li>ऊपर की ओर सवृत होने वाला समुच्चय <math display="inline">\pi(\mathcal{A})^{\uparrow X}</math> एक फ़िल्टर समुच्चय है। इस स्थिति में {{Nowrap|<math display=inline>X</math>}} को <math>\pi(\mathcal{A})^{\uparrow X}</math> द्वारा उत्पन्न <math display="inline">X</math> पर फ़िल्टर समुच्चय कहा जाता है क्योंकि यह न्यूनतम <math>X</math> पर <math>\,\subseteq\,</math> फ़िल्टर के संबंध में <math>\mathcal{A}</math> उपसमुच्चय के रूप में सम्मिलित है।{{sfn|Joshi|1983|pp=242−248}}</li>
<li>समुच्चय <math>\mathcal{A}</math> कुछ उपयुक्त फ़िल्टर का एक उपसमूह है।<ref name="ProperDef" group="note" />
</li></ul>

==अनुप्रयोग==

=== सघनता ===
परिमित प्रतिच्छेदन गुण सघनता की वैकल्पिक परिभाषा बनाने में उपयोगी होते है:

 {{math theorem | math_statement =एक [[सांस्थितिक समष्टि]] तभी संक्षिप्त होती है जब परिमित प्रतिच्छेदन गुण वाले विवृत उपसमुच्चय के प्रत्येक समूह में [[गैर-रिक्त प्रतिच्छेदन]] होता है।{{sfn|Munkres|2000|p=169}}<ref>{{planetmath| urlname=ASpaceIsCompactIffAnyFamilyOfClosedSetsHavingFipHasNonemptyIntersection| title=A space is compact iff any family of closed sets having fip has non-empty intersection}}</ref>}}

समानता के इस सूत्रीकरण का उपयोग टाइकोनॉफ़ के प्रमेय के कुछ प्रमाणों में किया जाता है।

===पूर्ण समष्टि की अनंतता ===
एक अन्य सामान्य अनुप्रयोग से यह सिद्ध करना है कि [[वास्तविक संख्याएँ]] [[अनंत समुच्चय]] हैं।  {{math theorem | math_statement = मान लीजिए <math>X</math> एक गैर-रिक्त संक्षिप्त समष्टि हॉसडॉर्फ समष्टि है जो इस गुण को संतुष्ट करती है कि कोई भी एक बिंदु समुच्चय [[सवृत समुच्चय ]] नहीं है तब <math>X</math> [[अनंत समुच्चय]] है।}}

प्रमेय के कथन में निम्नलिखित सभी शर्तें आवश्यक हैं:
# हम हॉसडॉर्फ समष्टि को समाप्त नहीं कर सकते हैं क्योकि अविभाज्य सांस्थितिक के साथ एक गणनीय समुच्चय (कम से कम दो बिंदुओं के साथ) संक्षिप्त है जहां एक से अधिक बिंदु हैं जो इस गुण को संतुष्ट करते है कि कोई भी एक बिंदु समुच्चय विवृत नहीं है, लेकिन अनंत है।
# हम सघनता की स्थिति को समाप्त नहीं कर सकते हैं क्योकि यह परिमेय संख्याओं के समुच्चय से पता चलता है।
# हम इस शर्त को समाप्त नहीं कर सकते है कि एक बिंदु समुच्चय विवृत नहीं हो सकता है जैसा कि [[असतत टोपोलॉजी|असतत सांस्थितिक]] के साथ कोई भी परिमित समष्टि प्रदर्शित होती है।

{{math proof | proof =
We will show that if <math>U \subseteq X</math> is non-empty and open, and if <math>x</math> is a point of <math>X,</math> then there is a [[Neighbourhood (mathematics)|neighbourhood]] <math>V \subset U</math> whose [[Closure (topology)|closure]] does not contain <math>x</math> (<math>x</math>' may or may not be in <math>U</math>). Choose <math>y \in U</math> different from <math>x</math> (if <math>x \in U</math> then there must exist such a <math>y</math> for otherwise <math>U</math> would be an open one point set; if <math>x \notin U,</math> this is possible since <math>U</math>is non-empty). Then by the Hausdorff condition, choose disjoint neighbourhoods <math>W</math> and <math>K</math> of <math>x</math> and <math>y</math> respectively. Then <math>K \cap U</math> will be a neighbourhood of <math>y</math> contained in <math>U</math> whose closure doesn't contain <math>x</math> as desired.

Now suppose <math>f : \N \to X</math> is a [[bijection]], and let <math>\left\{ x_i : i \in \N \right\}</math> denote the [[Image (mathematics)#Image of a function|image]] of <math>f.</math> Let <math>X</math> be the first open set and choose a neighbourhood <math>U_1 \subset X</math> whose closure does not contain <math>x_1.</math> Secondly, choose a neighbourhood <math>U_2 \subset U_1</math> whose closure does not contain <math>x_2.</math> Continue this process whereby choosing a neighbourhood <math>U_{n+1} \subset U_n</math> whose closure does not contain <math>x_{n+1}.</math> Then the collection <math>\left\{ U_i : i \in \N \right\}</math> satisfies the finite intersection property and hence the intersection of their closures is non-empty by the compactness of <math>X.</math> Therefore, there is a point <math>x</math> in this intersection. No <math>x_i</math> can belong to this intersection because <math>x_i</math> does not belong to the closure of <math>U_i.</math> This means that <math>x</math> is not equal to <math>x_i</math> for all <math>i</math> and <math>f</math> is not [[Surjection|surjective]]; a contradiction. Therefore, <math>X</math> is uncountable.
}}{{math theorem | name=Corollary | math_statement=Every [[closed interval]] <math>[a, b]</math> with <math>a < b</math> is uncountable. Therefore, <math>\R</math> is uncountable.}}

{{math theorem | name=Corollary | math_statement=Every [[Perfect set|perfect]], [[Locally compact space|locally compact]] [[Hausdorff space]] is uncountable.}}

{{math proof | proof =
Let <math>X</math> be a perfect, compact, Hausdorff space, then the theorem immediately implies that <math>X</math> is uncountable. If <math>X</math> is a perfect, locally compact Hausdorff space that is not compact, then the [[one-point compactification]] of <math>X</math> is a perfect, compact Hausdorff space. Therefore, the one point compactification of <math>X</math> is uncountable. Since removing a point from an uncountable set still leaves an uncountable set, <math>X</math> is uncountable as well.
}}

=== अल्ट्राफिल्टर ===
माना कि X गैर-रिक्त समुच्चय <math>F \subseteq 2^X</math> है जो <math>F</math> में परिमित प्रतिच्छेदन समुच्चय है, जिसमे <math>U</math> अल्ट्राफिल्टर समुच्चय <math>2^X</math> सम्मिलित है प्रायः इसके <math>F \subseteq U</math> परिणाम को [[अल्ट्राफिल्टर लेम्मा]] के रूप में जाना जाता है।<ref>{{citation |last1=Csirmaz |first1=László |title=Matematikai logika |url=http://www.renyi.hu/~csirmaz/ |year=1994 |location=Budapest |publisher=[[Eötvös Loránd University]] |format=In Hungarian |last2=Hajnal |first2=András |author2-link=András Hajnal}}.</ref>
==यह भी देखें==

* {{annotated link|फ़िल्टर (समुच्चय सिद्धांत)
}}
* {{annotated link|टोपोलॉजी में फ़िल्टर
}}
* {{annotated link|निकटम प्रणाली}}
* {{annotated link|अल्ट्राफिल्टर (समुच्चय सिद्धांत)
}}

==संदर्भ==
===टिप्पणियाँ===
{{reflist|group=note}}
===उद्धरण===
{{reflist}}


===सामान्य स्रोत===
* {{Bourbaki General Topology Part I Chapters 1-4}} <!--{{sfn|Bourbaki|1989|p=}}-->
* {{Bourbaki General Topology Part II Chapters 5-10}} <!--{{sfn|Bourbaki|1989|p=}}-->
* {{Bourbaki Topological Vector Spaces Part 1 Chapters 1–5}} <!--{{sfn|Bourbaki|1987|p=}}-->
* {{Comfort Negrepontis The Theory of Ultrafilters 1974}} <!--{{sfn|Comfort|Negrepontis|1974|p=}}-->
* {{Császár General Topology}} <!--{{sfn|Császár|1978|p=}}-->
* {{Dolecki Mynard Convergence Foundations Of Topology}} <!--{{sfn|Dolecki|Mynard|2016|p=}}-->
* {{Dugundji Topology}} <!--{{sfn|Dugundji|1966|p=}}-->
* {{Joshi Introduction to General Topology}} <!--{{sfn|Joshi|1983|p=}}-->
* {{cite journal|last1=Koutras|first1=Costas D.|last2=Moyzes|first2=Christos|last3=Nomikos|first3=Christos|last4=Tsaprounis|first4=Konstantinos|last5=Zikos|first5=Yorgos|title=कमजोर फिल्टर और अल्ट्राफिल्टर पर: ज्ञान प्रतिनिधित्व से (और उसके लिए) सिद्धांत सेट करें|journal=[[Logic Journal of the IGPL]]|date=20 October 2021|doi=10.1093/jigpal/jzab030}} <!--{{sfn|Koutras|Moyzes|Nomikos|2021|p=}}-->
* {{cite web|last=MacIver R.|first=David|title=विश्लेषण और टोपोलॉजी में फ़िल्टर|date=1 July 2004|url=http://www.efnet-math.org/~david/mathematics/filters.pdf|archive-url=https://web.archive.org/web/20071009170540/http://www.efnet-math.org/~david/mathematics/filters.pdf |archive-date=2007-10-09 }} (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
* {{Munkres Topology|edition=2}} <!--{{sfn|Munkres|2000|p=}}-->
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!--{{sfn|Narici|Beckenstein|2011|p=}}-->
* {{Wilansky Modern Methods in Topological Vector Spaces|edition=1}} <!--{{sfn|Wilansky|2013|p=}}-->
* {{Wilansky Topology for Analysis 2008}} <!--{{sfn|Wilansky|2008|p=}}-->


==बाहरी संबंध==

* {{planetmathref|urlname=FiniteIntersectionProperty|title=Finite intersection property}}

{{Families of sets}}

{{Set theory}}

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 08/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:समुच्चय सिद्धान्त]]
[[Category:सामान्य टोपोलॉजी]]
[[Category:सेट के परिवार]]