जुड़ें और मिलें: Difference between revisions

Latest revision as of 10:25, 10 March 2023

यह हस्से आरेख चार तत्वों के साथ आंशिक रूप से आदेशित समुच्चय को दर्शाता है: ए, बी, अधिकतम तत्व ए

\vee

b a और b के जुड़ने के बराबर है, और न्यूनतम तत्व a

\wedge

b a और b के मिलाने के बराबर है। अधिकतम/न्यूनतम तत्व का जुड़ना/मिलाना और दूसरा तत्व अधिकतम/न्यूनतम तत्व है और इसके विपरीत किसी अन्य तत्व के साथ अधिकतम/न्यूनतम तत्व का मिलाना/जुड़ना अन्य तत्व है। इस प्रकार इस पोसेट में प्रत्येक जोड़ी में एक मिलान और जुड़ाव दोनों होते हैं और पोसेट को एक जाली (आदेश सिद्धांत) के रूप में वर्गीकृत किया जा सकता है।

गणित में, विशेष रूप से आदेश सिद्धांत, एक उपसमुच्चय का जुड़ाव $S$ आंशिक रूप से आदेशित समुच्चय का $P$ की सर्वोच्च (कम से कम ऊपरी सीमा) है $S,$ निरूपित ${\textstyle \bigvee S,}$ और इसी तरह, की मिलते हैं $S$ सबसे कम (सबसे बड़ी निचली सीमा) है, जिसे निरूपित किया गया है ${\textstyle \bigwedge S.}$ सामान्य तौर पर, आंशिक रूप से आदेशित किए गए समुच्चय के उपसमुच्चय में सम्मिलित होने और मिलाने की आवश्यकता नहीं होती है। सम्मिलित हों और मिलें आदेश व्युत्क्रम के संबंध में एक दूसरे से द्वैत (आदेश सिद्धांत) हैं।

एक आंशिक रूप से आदेशित किया गया समुच्चय जिसमें सभी जोड़े सम्मिलित होते हैं, एक ज्वाइन-सेमिलैटिस होता है। दोहरी रूप से, एक आंशिक रूप से आदेशित समुच्चय जिसमें सभी जोड़ों का मिलान होता है, एक मिलान-सेमिलैटिस है। एक आंशिक रूप से आदेशित किया गया समुच्चय जो कि ज्वाइन-सेमिलैटिस और मिलाना-अर्ध-जाली दोनों है, एक जाली (आदेश) है। एक जाली जिसमें हर उपसमुच्चय, न कि हर जोड़ी, एक मिलान और एक जुड़ाव रखती है, एक पूर्ण जाली है। एक आंशिक जाली को परिभाषित करना भी संभव है, जिसमें सभी जोड़ियों का मिलाना या जुड़ना नहीं है, लेकिन संचालन (जब परिभाषित) कुछ स्वयंसिद्धों को संतुष्ट करते हैं।^[1]

कुल आदेश के उपसमुच्चय का जुड़ना/मिलाना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व उपस्थित है।

यदि एक उपसमुच्चय $S$ आंशिक रूप से आदेशित समुच्चय का $P$ एक (ऊपर की ओर) निर्देशित समुच्चय भी है, तो इसका जुड़ाव (यदि यह उपस्थित है) एक निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। पूरी तरह से आदेशित किए गए सेट के सबसेट में सम्मिलित होना/मिलाना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व मौजूद है। यदि आंशिक रूप से आदेशित किए गए सेट का एक उपसमुच्चय भी एक (ऊपर की ओर) निर्देशित सेट है, तो इसके सम्मिलित होने (यदि यह मौजूद है) को निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। दो तरह से, अगर $S$ एक नीचे की ओर निर्देशित समुच्चय है, तो इसका मिलान (यदि यह उपस्थित है) एक निर्देशित मिलान या निर्देशित न्यूनतम है।

परिभाषाएँ

आंशिक आदेश दृष्टिकोण

माना कि $A$ आंशिक क्रम के साथ एक समुच्चय बनें $\,\leq ,\,$ और जाने $x,y\in A.$ तत्व $m$ का $A$ कहा जाता है सम्मुख (या सबसे बड़ी निचली सीमा या अल्प) का $x{\text{ and }}y$ और द्वारा दर्शाया गया है $x\wedge y,$ यदि निम्नलिखित दो शर्तें पूरी होती हैं:

$m\leq x{\text{ and }}m\leq y$ (वह है, $m$ की निचली सीमा है $x{\text{ and }}y$ ).
किसी के लिए $w\in A,$ अगर $w\leq x{\text{ and }}w\leq y,$ तब $w\leq m$ (वह है, $m$ की किसी अन्य निचली सीमा से अधिक या उसके बराबर है $x{\text{ and }}y$ ).

मिलाने की आवश्यकता नहीं है, या तो जोड़ी के पास कोई निचली सीमा नहीं है, या चूंकि निचली सीमाओं में से कोई भी अन्य सभी से अधिक नहीं है। हालांकि, अगर कोई मुलाकात होती है $x{\text{ and }}y,$ तो यह अद्वितीय है, क्योंकि यदि दोनों $m{\text{ and }}m^{\prime }$ की सबसे निचली सीमाएँ हैं $x{\text{ and }}y,$ तब $m\leq m^{\prime }{\text{ and }}m^{\prime }\leq m,$ और इस तरह $m=m^{\prime }.$ ^[2] यदि तत्वों के सभी जोड़े नहीं हैं $A$ एक बैठक है, तो बैठक को अभी भी आंशिक फ़ंक्शन बाइनरी ऑपरेशन के रूप में देखा जा सकता है $A.$ ^[1]

यदि मिलान उपस्थित है तो इसे निरूपित किया जाता है $x\wedge y.$ यदि तत्वों के सभी जोड़े से $A$ सम्मुख मिलान है, तो सम्मुख मिलान एक बाइनरी ऑपरेशन है $A,$ और यह देखना आसान है कि यह ऑपरेशन निम्नलिखित तीन शर्तों को पूरा करता है: किसी भी तत्व के लिए $x,y,z\in A,$

$x\wedge y=y\wedge x$ (commutativity),
$x\wedge (y\wedge z)=(x\wedge y)\wedge z$ (associativity), and
$x\wedge x=x$ (idempotency).

जोड़ परिभाषित द्वैत (आदेश सिद्धांत) के सम्मिलित होने के साथ हैं $x{\text{ and }}y,$ यदि यह उपस्थित है, द्वारा निरूपित $x\vee y.$ तत्व $j$ का $A$ संबद्ध है (या न्यूनतम ऊपरी सीमा या सर्वोच्च) का $x{\text{ and }}y$ में $A$ यदि निम्नलिखित दो शर्तें पूरी होती हैं:

$x\leq j{\text{ and }}y\leq j$ (वह है, $j$ की ऊपरी सीमा है $x{\text{ and }}y$ ).
किसी के लिए $w\in A,$ अगर $x\leq w{\text{ and }}y\leq w,$ तब $j\leq w$ (वह है, $j$ की किसी अन्य ऊपरी सीमा से कम या उसके बराबर है $x{\text{ and }}y$ ).

सार्वभौमिक बीजगणित दृष्टिकोण

परिभाषा के अनुसार, एक बाइनरी ऑपरेशन $\,\wedge \,$ एक समुच्चय पर $A$ एक है सम्मुख यदि यह तीन स्थितियों a, b, और c को संतुष्ट करता है। जोड़ी $(A,\wedge )$ फिर एक मिलान-सेमिलैटिस है। इसके अतिरिक्त, हम तब एक द्विआधारी संबंध को परिभाषित कर सकते हैं $\,\leq \,$ ए पर, यह कहकर $x\leq y$ अगर और केवल अगर $x\wedge y=x.$ वास्तव में, यह संबंध एक आंशिक क्रम है $A.$ दरअसल, किसी भी तत्व के लिए $x,y,z\in A,$

$x\leq x,$ तब से $x\wedge x=x$ सी द्वारा;
अगर $x\leq y{\text{ and }}y\leq x$ तब $x=x\wedge y=y\wedge x=y$ ए द्वारा; और
अगर $x\leq y{\text{ and }}y\leq z$ तब $x\leq z$ के बाद से $x\wedge z=(x\wedge y)\wedge z=x\wedge (y\wedge z)=x\wedge y=x$ बी द्वारा।

मिलते हैं और जुड़ते हैं दोनों इस परिभाषा को समान रूप से संतुष्ट करते हैं: कुछ संबद्ध मिलाने और जुड़ने के संचालन से आंशिक आदेश मिलते हैं जो एक दूसरे के विपरीत होते हैं। इनमें से किसी एक आदेशित को मुख्य के रूप में चुनते समय, यह भी तय किया जाता है कि कौन सा ऑपरेशन एक सम्मुख मिलान माना जाता है (एक ही आदेशित देने वाला) और जिसे एक जॉइन माना जाता है (दूसरा वाला)।

दृष्टिकोण की समानता

अगर $(A,\leq )$ एक आंशिक रूप से क्रमबद्ध समुच्चय है, जैसे कि तत्वों की प्रत्येक जोड़ी $A$ मिलाना है, तो वास्तव में $x\wedge y=x$ अगर और केवल अगर $x\leq y,$ चूंकि बाद के मामले में वास्तव में $x$ की निचली सीमा है $x{\text{ and }}y,$ और तबसे $x$ है greatest लोअर बाउंड अगर और केवल अगर यह लोअर बाउंड है। इस प्रकार, सार्वभौमिक बीजगणित दृष्टिकोण में सम्मुख मिलान द्वारा परिभाषित आंशिक क्रम मूल आंशिक क्रम के साथ मेल खाता है।

इसके विपरीत यदि $(A,\wedge )$ एक मिलान-सेमिलैटिस और आंशिक क्रम है $\,\leq \,$ सार्वभौमिक बीजगणित दृष्टिकोण के रूप में परिभाषित किया गया है, और $z=x\wedge y$ कुछ तत्वों के लिए $x,y\in A,$ तब $z$ की सबसे बड़ी निचली सीमा है $x{\text{ and }}y$ इसके संबंध में $\,\leq ,\,$ तब से

z\wedge x=x\wedge z=x\wedge (x\wedge y)=(x\wedge x)\wedge y=x\wedge y=z

और इसलिए

z\leq x.

इसी प्रकार,

z\leq y,

और अगर

w

की एक और निचली सीमा है

x{\text{ and }}y,

तब

w\wedge x=w\wedge y=w,

जहां से

w\wedge z=w\wedge (x\wedge y)=(w\wedge x)\wedge y=w\wedge y=w.

इस प्रकार, मूल मिलान द्वारा परिभाषित आंशिक क्रम द्वारा परिभाषित एक मिलान होता है, और दोनों मिलते हैं।

दूसरे शब्दों में, दो दृष्टिकोण अनिवार्य रूप से समतुल्य अवधारणाएं उत्पन्न करते हैं, एक बाइनरी रिलेशन और बाइनरी ऑपरेशन दोनों से लैस एक समुच्चय, जैसे कि इनमें से प्रत्येक संरचना दूसरे को निर्धारित करती है, और क्रमशः आंशिक आदेशित या मिलाने की शर्तों को पूरा करती है।

सामान्य उपसमूहों की बैठकें

अगर $(A,\wedge )$ एक सम्मुख मिलान-सेमिलैटिस है, तो सम्मुख मिलान को पुनरावृत्त बाइनरी ऑपरेशंस में वर्णित तकनीक द्वारा किसी भी खाली समुच्चय गैर-रिक्त परिमित समुच्चय के एक अच्छी तरह से परिभाषित सम्मुख मिलान तक बढ़ाया जा सकता है। वैकल्पिक रूप से, यदि सम्मुख मिलान परिभाषित करता है या एक आंशिक क्रम द्वारा परिभाषित किया जाता है, तो इसके कुछ उपसमुच्चय $A$ वास्तव में इसके संबंध में इन्फिमा है, और इस तरह के इन्फिनिमम को उपसमुच्चय के रूप में मानना उचित है। गैर-रिक्त परिमित उपसमुच्चय के लिए, दो दृष्टिकोण समान परिणाम देते हैं, और इसलिए या तो मिलाने की परिभाषा के रूप में लिया जा सकता है। मामले में जहां प्रत्येक का भाग $A$ वास्तव में एक मुलाकात है $(A,\leq )$ एक पूर्ण जाली है; विवरण के लिए, पूर्णता (आदेश सिद्धांत) देखें।

उदाहरण

अगर कुछ बिजली समुच्चय $\wp (X)$ आंशिक रूप से सामान्य तरीके से आदेश दिया जाता है (द्वारा $\,\subseteq$ ) तो जोड़ संघ हैं और मिलान चौराहे हैं; प्रतीकों में, $\,\vee \,=\,\cup \,{\text{ and }}\,\wedge \,=\,\cap \,$ (जहां इन प्रतीकों की समानता को याद रखने के लिए एक स्मृति चिन्ह के रूप में उपयोग किया जा सकता है $\,\vee \,$ ज्वाइन / सुप्रीम और को दर्शाता है $\,\wedge \,$ मिलाना/निम्न दर्शाता है^{[note 1]}).

अधिक सामान्यतः, मान लीजिए ${\mathcal {F}}\neq \varnothing$ कुछ समुच्चय के समुच्चय का परिवार है $X$ वह आंशिक आदेश है $\,\subseteq .\,$ अगर ${\mathcal {F}}$ मनमानी यूनियनों और मनमाने चौराहों के तहत बंद है और यदि $A,B,\left(F_{i}\right)_{i\in I}$ के संबंधित ${\mathcal {F}}$ तब

A\vee B=A\cup B,\quad A\wedge B=A\cap B,\quad \bigvee _{i\in I}F_{i}=\bigcup _{i\in I}F_{i},\quad {\text{ and }}\quad \bigwedge _{i\in I}F_{i}=\bigcap _{i\in I}F_{i}.

लेकिन अगर

{\mathcal {F}}

तब यूनियनों के तहत बंद नहीं है

A\vee B

में उपस्थित है

({\mathcal {F}},\subseteq )

अगर और केवल अगर वहाँ एक अद्वितीय उपस्थित है

\,\subseteq

-सबसे छोटा

J\in {\mathcal {F}}

ऐसा है कि

A\cup B\subseteq J.

उदाहरण के लिए, यदि

{\mathcal {F}}=\{\{1\},\{2\},\{1,2,3\},\mathbb {R} \}

तब

\{1\}\vee \{2\}=\{1,2,3\}

जबकि अगर

{\mathcal {F}}=\{\{1\},\{2\},\{1,2,3\},\{0,1,2\},\mathbb {R} \}

तब

\{1\}\vee \{2\}

उपस्थित नहीं है क्योंकि समुच्चय

\{0,1,2\}{\text{ and }}\{1,2,3\}

की केवल ऊपरी सीमाएँ हैं

\{1\}{\text{ and }}\{2\}

में

({\mathcal {F}},\subseteq )

यह संभवतः हो सकता है least ऊपरी सीमा

\{1\}\vee \{2\}

लेकिन

\{0,1,2\}\not \subseteq \{1,2,3\}

और

\{1,2,3\}\not \subseteq \{0,1,2\}.

अगर

{\mathcal {F}}=\{\{1\},\{2\},\{0,2,3\},\{0,1,3\}\}

तब

\{1\}\vee \{2\}

उपस्थित नहीं है क्योंकि इसकी कोई ऊपरी सीमा नहीं है

\{1\}{\text{ and }}\{2\}

में

({\mathcal {F}},\subseteq ).

यह भी देखें

स्थानीय रूप से उत्तल वेक्टर जाली

↑ It can be immediately determined that supremums and infimums in this canonical, simple example $(\wp (X),\subseteq )$ are $\,\cup \,{\text{ and }}\,\cap \,,$ respectively. The similarity of the symbol $\,\vee \,$ to $\,\cup \,$ and of $\,\wedge \,$ to $\,\cap \,$ may thus be used as a mnemonic for remembering that in the most general setting, $\,\vee \,$ denotes the supremum (because a supremum is a bound from above, just like $A\cup B$ is "above" $A$ and $B$ ) while $\,\wedge \,$ denotes the infimum (because an infimum is a bound from below, just like $A\cap B$ is "below" $A$ and $B$ ). This can also be used to remember whether meets/joins are denoted by $\,\vee \,$ or by $\,\wedge .\,$ Intuition suggests that "join"ing two sets together should produce their union $A\cup B,$ which looks similar to $A\vee B,$ so "join" must be denoted by $\,\vee .\,$ Similarly, two sets should "meet" at their intersection $A\cap B,$ which looks similar to $A\wedge B,$ so "meet" must be denoted by $\,\wedge .\,$

संदर्भ

Davey, B.A.; Priestley, H.A. (2002). Introduction to Lattices and Order (2nd ed.). Cambridge: Cambridge University Press. ISBN 0-521-78451-4. Zbl 1002.06001.
Vickers, Steven (1989). Topology via Logic. Cambridge Tracts in Theoretic Computer Science. Vol. 5. ISBN 0-521-36062-5. Zbl 0668.54001.

[FOOTNOTEGrätzer1996[httpsbooksgooglecombooksidSoGLVCPuOz0CpgPA52_52]-1] 1.0 ^1.1 Grätzer 1996, p. 52.

[2] Hachtel, Gary D.; Somenzi, Fabio (1996). तर्क संश्लेषण और सत्यापन एल्गोरिदम. Kluwer Academic Publishers. p. 88. ISBN 0792397460.

[3] It can be immediately determined that supremums and infimums in this canonical, simple example $(\wp (X),\subseteq )$ are $\,\cup \,{\text{ and }}\,\cap \,,$ respectively. The similarity of the symbol $\,\vee \,$ to $\,\cup \,$ and of $\,\wedge \,$ to $\,\cap \,$ may thus be used as a mnemonic for remembering that in the most general setting, $\,\vee \,$ denotes the supremum (because a supremum is a bound from above, just like $A\cup B$ is "above" $A$ and $B$ ) while $\,\wedge \,$ denotes the infimum (because an infimum is a bound from below, just like $A\cap B$ is "below" $A$ and $B$ ). This can also be used to remember whether meets/joins are denoted by $\,\vee \,$ or by $\,\wedge .\,$ Intuition suggests that "join"ing two sets together should produce their union $A\cup B,$ which looks similar to $A\vee B,$ so "join" must be denoted by $\,\vee .\,$ Similarly, two sets should "meet" at their intersection $A\cap B,$ which looks similar to $A\wedge B,$ so "meet" must be denoted by $\,\wedge .\,$

[1]

[2]

[note 1]

@@ Line 1: / Line 1: @@
-{{Binary relations}}
+[[File:Join and meet.svg|thumb|यह [[हस्से आरेख]] चार तत्वों के साथ आंशिक रूप से आदेशित समुच्चय को दर्शाता है: ए, बी, [[अधिकतम तत्व]] ए <math>\vee</math> b a और b के जुड़ने के बराबर है, और [[न्यूनतम तत्व]] a <math>\wedge</math> b a और b के मिलाने के बराबर है। अधिकतम/न्यूनतम तत्व का जुड़ना/मिलाना और दूसरा तत्व अधिकतम/न्यूनतम तत्व है और इसके विपरीत किसी अन्य तत्व के साथ अधिकतम/न्यूनतम तत्व का मिलाना/जुड़ना अन्य तत्व है। इस प्रकार इस पोसेट में प्रत्येक जोड़ी में एक मिलान और जुड़ाव दोनों होते हैं और पोसेट को एक [[जाली (आदेश सिद्धांत)]] के रूप में वर्गीकृत किया जा सकता है।]]गणित में, विशेष रूप से [[आदेश सिद्धांत]], एक [[सबसेट|उपसमुच्चय]] का जुड़ाव <math>S</math> [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समुच्चय]] का <math>P</math> की सर्वोच्च (कम से कम ऊपरी सीमा) है <math>S,</math> निरूपित <math display=inline>\bigvee S,</math> और इसी तरह, की मिलते हैं <math>S</math> [[सबसे कम]] (सबसे बड़ी निचली सीमा) है, जिसे निरूपित किया गया है <math display=inline>\bigwedge S.</math> सामान्य तौर पर, आंशिक रूप से आदेशित किए गए समुच्चय के उपसमुच्चय में सम्मिलित होने और मिलाने की आवश्यकता नहीं होती है। सम्मिलित हों और मिलें आदेश व्युत्क्रम के संबंध में एक दूसरे से [[द्वैत (आदेश सिद्धांत)]] हैं।
-[[File:Join and meet.svg|thumb|यह [[हस्से आरेख]] चार तत्वों के साथ आंशिक रूप से आदेशित समुच्चय  को दर्शाता है: ए, बी, [[अधिकतम तत्व]] ए <math>\vee</math> b a और b के जुड़ने के बराबर है, और [[न्यूनतम तत्व]] a <math>\wedge</math> b a और b के मिलने के बराबर है। अधिकतम/न्यूनतम तत्व का जुड़ना/मिलना और दूसरा तत्व अधिकतम/न्यूनतम तत्व है और इसके विपरीत किसी अन्य तत्व के साथ अधिकतम/न्यूनतम तत्व का मिलना/जुड़ना अन्य तत्व है। इस प्रकार इस पोसेट में प्रत्येक जोड़ी में एक मिलन और जुड़ाव दोनों होते हैं और पोसेट को एक [[जाली (आदेश सिद्धांत)]] के रूप में वर्गीकृत किया जा सकता है।]]गणित में, विशेष रूप से [[आदेश सिद्धांत]], एक [[सबसेट|उपसमुच्चय]] का जुड़ाव <math>S</math> [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समुच्चय]]  का <math>P</math> की सर्वोच्च (कम से कम ऊपरी सीमा) है <math>S,</math> निरूपित <math display=inline>\bigvee S,</math> और इसी तरह, की मिलते हैं <math>S</math> [[सबसे कम]] (सबसे बड़ी निचली सीमा) है, जिसे निरूपित किया गया है <math display=inline>\bigwedge S.</math> सामान्य तौर पर, आंशिक रूप से आदेशित किए गए समुच्चय  के उपसमुच्चय  में सम्मिलित होने और मिलने की आवश्यकता नहीं होती है। सम्मिलित हों और मिलें आदेश व्युत्क्रम के संबंध में एक दूसरे से [[द्वैत (आदेश सिद्धांत)]] हैं।
-एक आंशिक रूप से आदेशित किया गया समुच्चय  जिसमें सभी जोड़े सम्मिलित होते हैं, एक [[ज्वाइन-सेमी-जाली|ज्वाइन-सेमिलैटिस]] होता है। दोहरी रूप से, एक आंशिक रूप से आदेशित समुच्चय  जिसमें सभी जोड़ों का मिलन होता है, एक मिलन-सेमिलैटिस है। एक आंशिक रूप से आदेशित किया गया समुच्चय  जो कि ज्वाइन-सेमिलैटिस और [[मिलना-अर्ध-जाली]] दोनों है, एक [[ जाली (आदेश) ]] है। एक जाली जिसमें हर उपसमुच्चय, न कि हर जोड़ी, एक मिलन और एक जुड़ाव रखती है, एक [[पूर्ण जाली]] है। एक [[आंशिक जाली]] को परिभाषित करना भी संभव है, जिसमें सभी जोड़ियों का मिलना या जुड़ना नहीं है, लेकिन संचालन (जब परिभाषित) कुछ स्वयंसिद्धों को संतुष्ट करते हैं।{{sfn|Grätzer|1996|p=[https://books.google.com/books?id=SoGLVCPuOz0C&pg=PA52 52]}}
+एक आंशिक रूप से आदेशित किया गया समुच्चय जिसमें सभी जोड़े सम्मिलित होते हैं, एक [[ज्वाइन-सेमी-जाली|ज्वाइन-सेमिलैटिस]] होता है। दोहरी रूप से, एक आंशिक रूप से आदेशित समुच्चय जिसमें सभी जोड़ों का मिलान होता है, एक मिलान-सेमिलैटिस है। एक आंशिक रूप से आदेशित किया गया समुच्चय जो कि ज्वाइन-सेमिलैटिस और [[मिलना-अर्ध-जाली|मिलाना-अर्ध-जाली]] दोनों है, एक [[ जाली (आदेश) |जाली (आदेश)]] है। एक जाली जिसमें हर उपसमुच्चय, न कि हर जोड़ी, एक मिलान और एक जुड़ाव रखती है, एक [[पूर्ण जाली]] है। एक [[आंशिक जाली]] को परिभाषित करना भी संभव है, जिसमें सभी जोड़ियों का मिलाना या जुड़ना नहीं है, लेकिन संचालन (जब परिभाषित) कुछ स्वयंसिद्धों को संतुष्ट करते हैं।{{sfn|Grätzer|1996|p=[https://books.google.com/books?id=SoGLVCPuOz0C&pg=PA52 52]}}
-[[कुल आदेश]] के उपसमुच्चय का जुड़ना/मिलना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व उपस्थित है।
+[[कुल आदेश]] के उपसमुच्चय का जुड़ना/मिलाना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व उपस्थित है।
-यदि एक उपसमुच्चय <math>S</math> आंशिक रूप से आदेशित समुच्चय  का <math>P</math> एक (ऊपर की ओर) [[निर्देशित सेट|निर्देशित समुच्चय]]  भी है, तो इसका जुड़ाव (यदि यह उपस्थित है) एक निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। दो तरह से, अगर <math>S</math> एक नीचे की ओर निर्देशित समुच्चय  है, तो इसका मिलन (यदि यह उपस्थित है) एक निर्देशित मिलन या निर्देशित न्यूनतम है।
+यदि एक उपसमुच्चय <math>S</math> आंशिक रूप से आदेशित समुच्चय का <math>P</math> एक (ऊपर की ओर) [[निर्देशित सेट|निर्देशित समुच्चय]] भी है, तो इसका जुड़ाव (यदि यह उपस्थित है) एक निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। पूरी तरह से आदेशित किए गए सेट के सबसेट में सम्मिलित होना/मिलाना उस उपसमुच्चय का अधिकतम/न्यूनतम तत्व है, यदि ऐसा कोई तत्व मौजूद है। यदि आंशिक रूप से आदेशित किए गए सेट का एक उपसमुच्चय भी एक (ऊपर की ओर) निर्देशित सेट है, तो इसके सम्मिलित होने (यदि यह मौजूद है) को निर्देशित जुड़ाव या निर्देशित सर्वोच्च कहा जाता है। दो तरह से, अगर <math>S</math> एक नीचे की ओर निर्देशित समुच्चय है, तो इसका मिलान (यदि यह उपस्थित है) एक निर्देशित मिलान या निर्देशित न्यूनतम है।
 == परिभाषाएँ ==
@@ Line 12: / Line 11: @@
 === आंशिक आदेश दृष्टिकोण ===
-माना कि  <math>A</math> आंशिक क्रम के साथ एक समुच्चय  बनें <math>\,\leq,\,</math> और जाने <math>x, y \in A.</math> तत्व <math>m</math> का <math>A</math> कहा जाता है{{visible anchor|meet}} (या{{visible anchor|greatest lower bound}} या{{visible anchor|infimum}}) का <math>x \text{ and } y</math> और द्वारा दर्शाया गया है <math>x \wedge y,</math> यदि निम्नलिखित दो शर्तें पूरी होती हैं:
+माना कि <math>A</math> आंशिक क्रम के साथ एक समुच्चय बनें <math>\,\leq,\,</math> और जाने <math>x, y \in A.</math> तत्व <math>m</math> का <math>A</math> कहा जाता है {{visible anchor|सम्मुख}} (या {{visible anchor|सबसे बड़ी निचली सीमा}} या {{visible anchor|अल्प}}) का <math>x \text{ and } y</math> और द्वारा दर्शाया गया है <math>x \wedge y,</math> यदि निम्नलिखित दो शर्तें पूरी होती हैं:
 # <math>m \leq x \text{ and } m \leq y</math> (वह है, <math>m</math> की निचली सीमा है <math>x \text{ and } y</math>).
 # किसी के लिए <math>w \in A,</math> अगर <math>w \leq x \text{ and } w \leq y,</math> तब <math>w \leq m</math> (वह है, <math>m</math> की किसी अन्य निचली सीमा से अधिक या उसके बराबर है <math>x \text{ and } y</math>).
-मिलने की आवश्यकता नहीं है, या तो जोड़ी के पास कोई निचली सीमा नहीं है, या चूंकि निचली सीमाओं में से कोई भी अन्य सभी से अधिक नहीं है। हालांकि, अगर कोई मुलाकात होती है <math>x \text{ and } y,</math> तो यह अद्वितीय है, क्योंकि यदि दोनों <math>m \text{ and } m^{\prime}</math> की सबसे निचली सीमाएँ हैं <math>x \text{ and } y,</math> तब <math>m \leq m^{\prime} \text{ and } m^{\prime} \leq m,</math> और इस तरह <math>m = m^{\prime}.</math><ref>{{cite book |last1=Hachtel |first1=Gary D. |last2=Somenzi |first2=Fabio |title=तर्क संश्लेषण और सत्यापन एल्गोरिदम|date=1996 |publisher=Kluwer Academic Publishers |isbn=0792397460 |page=88 |url=https://archive.org/details/logicsynthesisve0000hach/page/88/mode/2up|url-access=registration}}</ref> यदि तत्वों के सभी जोड़े नहीं हैं <math>A</math> एक बैठक है, तो बैठक को अभी भी आंशिक फ़ंक्शन बाइनरी ऑपरेशन के रूप में देखा जा सकता है <math>A.</math>{{sfn|Grätzer|1996|p=[https://books.google.com/books?id=SoGLVCPuOz0C&pg=PA52 52]}}
+मिलाने की आवश्यकता नहीं है, या तो जोड़ी के पास कोई निचली सीमा नहीं है, या चूंकि निचली सीमाओं में से कोई भी अन्य सभी से अधिक नहीं है। हालांकि, अगर कोई मुलाकात होती है <math>x \text{ and } y,</math> तो यह अद्वितीय है, क्योंकि यदि दोनों <math>m \text{ and } m^{\prime}</math> की सबसे निचली सीमाएँ हैं <math>x \text{ and } y,</math> तब <math>m \leq m^{\prime} \text{ and } m^{\prime} \leq m,</math> और इस तरह <math>m = m^{\prime}.</math><ref>{{cite book |last1=Hachtel |first1=Gary D. |last2=Somenzi |first2=Fabio |title=तर्क संश्लेषण और सत्यापन एल्गोरिदम|date=1996 |publisher=Kluwer Academic Publishers |isbn=0792397460 |page=88 |url=https://archive.org/details/logicsynthesisve0000hach/page/88/mode/2up|url-access=registration}}</ref> यदि तत्वों के सभी जोड़े नहीं हैं <math>A</math> एक बैठक है, तो बैठक को अभी भी आंशिक फ़ंक्शन बाइनरी ऑपरेशन के रूप में देखा जा सकता है <math>A.</math>{{sfn|Grätzer|1996|p=[https://books.google.com/books?id=SoGLVCPuOz0C&pg=PA52 52]}}
-यदि मिलन उपस्थित है तो इसे निरूपित किया जाता है <math>x \wedge y.</math> यदि तत्वों के सभी जोड़े से <math>A</math> मीट है, तो मीट एक [[बाइनरी ऑपरेशन]] है <math>A,</math> और यह देखना आसान है कि यह ऑपरेशन निम्नलिखित तीन शर्तों को पूरा करता है: किसी भी तत्व के लिए <math>x, y, z \in A,</math>
+यदि मिलान उपस्थित है तो इसे निरूपित किया जाता है <math>x \wedge y.</math> यदि तत्वों के सभी जोड़े से <math>A</math> सम्मुख मिलान है, तो सम्मुख मिलान एक [[बाइनरी ऑपरेशन]] है <math>A,</math> और यह देखना आसान है कि यह ऑपरेशन निम्नलिखित तीन शर्तों को पूरा करता है: किसी भी तत्व के लिए <math>x, y, z \in A,</math>
-<ओल प्रकार = ए>
+<ol type="a">
-<ली><math>x \wedge y = y \wedge x</math> ([[ क्रमविनिमेयता ]]),
+<li><math>x \wedge y = y \wedge x</math> ([[commutativity]]),</li>
-<ली><math>x \wedge (y \wedge z) = (x \wedge y) \wedge z</math> (साहचर्य), और
+<li><math>x \wedge (y \wedge z) = (x \wedge y) \wedge z</math> ([[associativity]]), and</li>
-<ली><math>x \wedge x = x</math> ([[आलस्य]])।
+<li><math>x \wedge x = x</math> ([[idempotency]]).</li>
-</ओल>
+</ol>
-जोड़ परिभाषित द्वैत (आदेश सिद्धांत) के सम्मिलित होने के साथ हैं <math>x \text{ and } y,</math> यदि यह उपस्थित है, द्वारा निरूपित <math>x \vee y.</math> तत्व <math>j</math> का <math>A</math> है{{visible anchor|join}} (या{{visible anchor|least upper bound}} या{{visible anchor|supremum}}) का <math>x \text{ and } y</math> में <math>A</math> यदि निम्नलिखित दो शर्तें पूरी होती हैं:
+जोड़ परिभाषित द्वैत (आदेश सिद्धांत) के सम्मिलित होने के साथ हैं <math>x \text{ and } y,</math> यदि यह उपस्थित है, द्वारा निरूपित <math>x \vee y.</math> तत्व <math>j</math> का <math>A</math> {{visible anchor|संबद्ध}} है (या {{visible anchor|न्यूनतम ऊपरी सीमा}} या {{visible anchor|सर्वोच्च}}) का <math>x \text{ and } y</math> में <math>A</math> यदि निम्नलिखित दो शर्तें पूरी होती हैं:
 # <math>x \leq j \text{ and } y \leq j</math> (वह है, <math>j</math> की [[ऊपरी सीमा]] है <math>x \text{ and } y</math>).
 # किसी के लिए <math>w \in A,</math> अगर <math>x \leq w \text{ and } y \leq w,</math> तब <math>j \leq w</math> (वह है, <math>j</math> की किसी अन्य ऊपरी सीमा से कम या उसके बराबर है <math>x \text{ and } y</math>).
 === सार्वभौमिक बीजगणित दृष्टिकोण ===
-परिभाषा के अनुसार, एक बाइनरी ऑपरेशन <math>\,\wedge\,</math> एक समुच्चय  पर <math>A</math> एक है {{em|meet}} यदि यह तीन स्थितियों a, b, और c को संतुष्ट करता है। जोड़ी <math>(A, \wedge)</math> फिर एक मिलन-सेमिलैटिस है। इसके अतिरिक्त , हम तब एक [[द्विआधारी संबंध]] को परिभाषित कर सकते हैं <math>\,\leq\,</math> ए पर, यह कहकर <math>x \leq y</math> अगर और केवल अगर <math>x \wedge y = x.</math> वास्तव में, यह संबंध एक आंशिक क्रम है <math>A.</math> दरअसल, किसी भी तत्व के लिए <math>x, y, z \in A,</math>
+परिभाषा के अनुसार, एक बाइनरी ऑपरेशन <math>\,\wedge\,</math> एक समुच्चय पर <math>A</math> एक है {{em|सम्मुख}} यदि यह तीन स्थितियों a, b, और c को संतुष्ट करता है। जोड़ी <math>(A, \wedge)</math> फिर एक मिलान-सेमिलैटिस है। इसके अतिरिक्त, हम तब एक [[द्विआधारी संबंध]] को परिभाषित कर सकते हैं <math>\,\leq\,</math> ए पर, यह कहकर <math>x \leq y</math> अगर और केवल अगर <math>x \wedge y = x.</math> वास्तव में, यह संबंध एक आंशिक क्रम है <math>A.</math> दरअसल, किसी भी तत्व के लिए <math>x, y, z \in A,</math>
 * <math>x \leq x,</math> तब से <math>x \wedge x = x</math> सी द्वारा;
 * अगर <math>x \leq y \text{ and } y \leq x</math> तब <math>x = x \wedge y = y \wedge x = y</math> ए द्वारा; और
 * अगर <math>x \leq y \text{ and } y \leq z</math> तब <math>x \leq z</math> के बाद से <math>x \wedge z = (x \wedge y) \wedge z = x \wedge (y \wedge z) = x \wedge y = x</math> बी द्वारा।
-मिलते हैं और जुड़ते हैं दोनों इस परिभाषा को समान रूप से संतुष्ट करते हैं: कुछ संबद्ध मिलने और जुड़ने के संचालन से आंशिक आदेश मिलते हैं जो एक दूसरे के विपरीत होते हैं। इनमें से किसी एक आदेशित को मुख्य के रूप में चुनते समय, यह भी तय किया जाता है कि कौन सा ऑपरेशन एक मीट माना जाता है (एक ही आदेशित देने वाला) और जिसे एक जॉइन माना जाता है (दूसरा वाला)।
+मिलते हैं और जुड़ते हैं दोनों इस परिभाषा को समान रूप से संतुष्ट करते हैं: कुछ संबद्ध मिलाने और जुड़ने के संचालन से आंशिक आदेश मिलते हैं जो एक दूसरे के विपरीत होते हैं। इनमें से किसी एक आदेशित को मुख्य के रूप में चुनते समय, यह भी तय किया जाता है कि कौन सा ऑपरेशन एक सम्मुख मिलान माना जाता है (एक ही आदेशित देने वाला) और जिसे एक जॉइन माना जाता है (दूसरा वाला)।
 === दृष्टिकोण की समानता ===
-अगर <math>(A, \leq)</math> एक आंशिक रूप से क्रमबद्ध समुच्चय  है, जैसे कि तत्वों की प्रत्येक जोड़ी <math>A</math> मिलना है, तो वास्तव में <math>x \wedge y = x</math> अगर और केवल अगर <math>x \leq y,</math> चूंकि बाद के मामले में वास्तव में <math>x</math> की निचली सीमा है <math>x \text{ and } y,</math> और तबसे <math>x</math> है {{em|greatest}} लोअर बाउंड अगर और केवल अगर यह लोअर बाउंड है। इस प्रकार, सार्वभौमिक बीजगणित दृष्टिकोण में मीट द्वारा परिभाषित आंशिक क्रम मूल आंशिक क्रम के साथ मेल खाता है।
+अगर <math>(A, \leq)</math> एक आंशिक रूप से क्रमबद्ध समुच्चय है, जैसे कि तत्वों की प्रत्येक जोड़ी <math>A</math> मिलाना है, तो वास्तव में <math>x \wedge y = x</math> अगर और केवल अगर <math>x \leq y,</math> चूंकि बाद के मामले में वास्तव में <math>x</math> की निचली सीमा है <math>x \text{ and } y,</math> और तबसे <math>x</math> है {{em|greatest}} लोअर बाउंड अगर और केवल अगर यह लोअर बाउंड है। इस प्रकार, सार्वभौमिक बीजगणित दृष्टिकोण में सम्मुख मिलान द्वारा परिभाषित आंशिक क्रम मूल आंशिक क्रम के साथ मेल खाता है।
-इसके विपरीत यदि <math>(A, \wedge)</math> एक मिलन-सेमिलैटिस और आंशिक क्रम है <math>\,\leq\,</math> सार्वभौमिक बीजगणित दृष्टिकोण के रूप में परिभाषित किया गया है, और <math>z = x \wedge y</math> कुछ तत्वों के लिए <math>x, y \in A,</math> तब <math>z</math> की सबसे बड़ी निचली सीमा है <math>x \text{ and } y</math> इसके संबंध में <math>\,\leq,\,</math> तब से
+इसके विपरीत यदि <math>(A, \wedge)</math> एक मिलान-सेमिलैटिस और आंशिक क्रम है <math>\,\leq\,</math> सार्वभौमिक बीजगणित दृष्टिकोण के रूप में परिभाषित किया गया है, और <math>z = x \wedge y</math> कुछ तत्वों के लिए <math>x, y \in A,</math> तब <math>z</math> की सबसे बड़ी निचली सीमा है <math>x \text{ and } y</math> इसके संबंध में <math>\,\leq,\,</math> तब से
 <math display=block>z \wedge x = x \wedge z = x \wedge (x \wedge y) = (x \wedge x) \wedge y = x \wedge y = z</math>
 और इसलिए <math>z \leq x.</math> इसी प्रकार, <math>z \leq y,</math> और अगर <math>w</math> की एक और निचली सीमा है <math>x \text{ and } y,</math> तब <math>w \wedge x = w \wedge y = w,</math> जहां से
 <math display=block>w \wedge z = w \wedge (x \wedge y) = (w \wedge x) \wedge y = w \wedge y = w.</math>
-इस प्रकार, मूल मिलन द्वारा परिभाषित आंशिक क्रम द्वारा परिभाषित एक मिलन होता है, और दोनों मिलते हैं।
+इस प्रकार, मूल मिलान द्वारा परिभाषित आंशिक क्रम द्वारा परिभाषित एक मिलान होता है, और दोनों मिलते हैं।
-दूसरे शब्दों में, दो दृष्टिकोण अनिवार्य रूप से समतुल्य अवधारणाएं उत्पन्न करते हैं, एक बाइनरी रिलेशन और बाइनरी ऑपरेशन दोनों से लैस एक समुच्चय , जैसे कि इनमें से प्रत्येक संरचना दूसरे को निर्धारित करती है, और क्रमशः आंशिक आदेशित या मिलने की शर्तों को पूरा करती है।
+दूसरे शब्दों में, दो दृष्टिकोण अनिवार्य रूप से समतुल्य अवधारणाएं उत्पन्न करते हैं, एक बाइनरी रिलेशन और बाइनरी ऑपरेशन दोनों से लैस एक समुच्चय, जैसे कि इनमें से प्रत्येक संरचना दूसरे को निर्धारित करती है, और क्रमशः आंशिक आदेशित या मिलाने की शर्तों को पूरा करती है।
 == सामान्य उपसमूहों की बैठकें ==
-अगर <math>(A, \wedge)</math> एक मीट-सेमिलैटिस है, तो मीट को पुनरावृत्त बाइनरी ऑपरेशंस में वर्णित तकनीक द्वारा किसी भी [[खाली सेट|खाली समुच्चय]]  | गैर-रिक्त परिमित समुच्चय  के एक अच्छी तरह से परिभाषित मीट तक बढ़ाया जा सकता है। वैकल्पिक रूप से, यदि मीट परिभाषित करता है या एक आंशिक क्रम द्वारा परिभाषित किया जाता है, तो इसके कुछ उपसमुच्चय  <math>A</math> वास्तव में इसके संबंध में इन्फिमा है, और इस तरह के इन्फिनिमम को उपसमुच्चय के रूप में मानना उचित है। गैर-रिक्त परिमित उपसमुच्चय के लिए, दो दृष्टिकोण समान परिणाम देते हैं, और इसलिए या तो मिलने की परिभाषा के रूप में लिया जा सकता है। मामले में जहां {{em|each}} का भाग <math>A</math> वास्तव में एक मुलाकात है <math>(A, \leq)</math> एक पूर्ण जाली है; विवरण के लिए, [[पूर्णता (आदेश सिद्धांत)]] देखें।
+अगर <math>(A, \wedge)</math> एक सम्मुख मिलान-सेमिलैटिस है, तो सम्मुख मिलान को पुनरावृत्त बाइनरी ऑपरेशंस में वर्णित तकनीक द्वारा किसी भी [[खाली सेट|खाली समुच्चय]] गैर-रिक्त परिमित समुच्चय के एक अच्छी तरह से परिभाषित सम्मुख मिलान तक बढ़ाया जा सकता है। वैकल्पिक रूप से, यदि सम्मुख मिलान परिभाषित करता है या एक आंशिक क्रम द्वारा परिभाषित किया जाता है, तो इसके कुछ उपसमुच्चय <math>A</math> वास्तव में इसके संबंध में इन्फिमा है, और इस तरह के इन्फिनिमम को उपसमुच्चय के रूप में मानना उचित है। गैर-रिक्त परिमित उपसमुच्चय के लिए, दो दृष्टिकोण समान परिणाम देते हैं, और इसलिए या तो मिलाने की परिभाषा के रूप में लिया जा सकता है। मामले में जहां {{em|प्रत्येक}} का भाग <math>A</math> वास्तव में एक मुलाकात है <math>(A, \leq)</math> एक पूर्ण जाली है; विवरण के लिए, [[पूर्णता (आदेश सिद्धांत)]] देखें।
 == उदाहरण ==
-अगर कुछ बिजली समुच्चय  <math>\wp(X)</math> आंशिक रूप से सामान्य तरीके से आदेश दिया जाता है (द्वारा <math>\,\subseteq</math>) तो जोड़ संघ हैं और मिलन चौराहे हैं; प्रतीकों में, <math>\,\vee \,=\, \cup\, \text{ and } \,\wedge \,=\, \cap\,</math> (जहां इन प्रतीकों की समानता को याद रखने के लिए एक स्मृति चिन्ह के रूप में इस्तेमाल किया जा सकता है <math>\,\vee\,</math> ज्वाइन / सुप्रीमम और को दर्शाता है <math>\,\wedge\,</math> मिलना/निम्न दर्शाता है<ref group="note">It can be immediately determined that supremums and infimums in this canonical, simple example <math>(\wp(X), \subseteq)</math> are <math>\,\cup\, \text{ and } \,\cap\,,</math> respectively. The similarity of the symbol <math>\,\vee\,</math> to <math>\,\cup\,</math> and of <math>\,\wedge\,</math> to <math>\,\cap\,</math> may thus be used as a mnemonic for remembering that in the most general setting, <math>\,\vee\,</math> denotes the supremum (because a supremum is a bound from above, just like <math>A \cup B</math> is "above" <math>A</math> and <math>B</math>) while <math>\,\wedge\,</math> denotes the infimum (because an infimum is a bound from below, just like <math>A \cap B</math> is "below" <math>A</math> and <math>B</math>). This can also be used to remember whether meets/joins are denoted by <math>\,\vee\,</math> or by <math>\,\wedge.\,</math> Intuition suggests that "{{em|join}}"ing two sets together should produce their union <math>A \cup B,</math> which looks similar to <math>A \vee B,</math> so "join" must be denoted by <math>\,\vee.\,</math> Similarly, two sets should "{{em|meet}}" at their intersection <math>A \cap B,</math> which looks similar to <math>A \wedge B,</math> so "meet" must be denoted by <math>\,\wedge.\,</math></ref>).
+अगर कुछ बिजली समुच्चय <math>\wp(X)</math> आंशिक रूप से सामान्य तरीके से आदेश दिया जाता है (द्वारा <math>\,\subseteq</math>) तो जोड़ संघ हैं और मिलान चौराहे हैं; प्रतीकों में, <math>\,\vee \,=\, \cup\, \text{ and } \,\wedge \,=\, \cap\,</math> (जहां इन प्रतीकों की समानता को याद रखने के लिए एक स्मृति चिन्ह के रूप में उपयोग किया जा सकता है <math>\,\vee\,</math> ज्वाइन / सुप्रीम और को दर्शाता है <math>\,\wedge\,</math> मिलाना/निम्न दर्शाता है<ref group="note">It can be immediately determined that supremums and infimums in this canonical, simple example <math>(\wp(X), \subseteq)</math> are <math>\,\cup\, \text{ and } \,\cap\,,</math> respectively. The similarity of the symbol <math>\,\vee\,</math> to <math>\,\cup\,</math> and of <math>\,\wedge\,</math> to <math>\,\cap\,</math> may thus be used as a mnemonic for remembering that in the most general setting, <math>\,\vee\,</math> denotes the supremum (because a supremum is a bound from above, just like <math>A \cup B</math> is "above" <math>A</math> and <math>B</math>) while <math>\,\wedge\,</math> denotes the infimum (because an infimum is a bound from below, just like <math>A \cap B</math> is "below" <math>A</math> and <math>B</math>). This can also be used to remember whether meets/joins are denoted by <math>\,\vee\,</math> or by <math>\,\wedge.\,</math> Intuition suggests that "{{em|join}}"ing two sets together should produce their union <math>A \cup B,</math> which looks similar to <math>A \vee B,</math> so "join" must be denoted by <math>\,\vee.\,</math> Similarly, two sets should "{{em|meet}}" at their intersection <math>A \cap B,</math> which looks similar to <math>A \wedge B,</math> so "meet" must be denoted by <math>\,\wedge.\,</math></ref>).
-अधिक आम तौर पर, मान लीजिए <math>\mathcal{F} \neq \varnothing</math> कुछ समुच्चय  के [[सेट का परिवार|समुच्चय  का परिवार]] है <math>X</math> वह आंशिक आदेश है <math>\,\subseteq.\,</math> अगर <math>\mathcal{F}</math> मनमानी यूनियनों और मनमाने चौराहों के तहत बंद है और यदि <math>A, B, \left(F_i\right)_{i \in I}</math> के संबंधित <math>\mathcal{F}</math> तब
+अधिक सामान्यतः, मान लीजिए <math>\mathcal{F} \neq \varnothing</math> कुछ समुच्चय के [[सेट का परिवार|समुच्चय का परिवार]] है <math>X</math> वह आंशिक आदेश है <math>\,\subseteq.\,</math> अगर <math>\mathcal{F}</math> मनमानी यूनियनों और मनमाने चौराहों के तहत बंद है और यदि <math>A, B, \left(F_i\right)_{i \in I}</math> के संबंधित <math>\mathcal{F}</math> तब
 <math display=block>A \vee B = A \cup B, \quad A \wedge B = A \cap B, \quad \bigvee_{i \in I} F_i = \bigcup_{i \in I} F_i, \quad \text{ and } \quad \bigwedge_{i \in I} F_i = \bigcap_{i \in I} F_i.</math>
-लेकिन अगर <math>\mathcal{F}</math> तब यूनियनों के तहत बंद नहीं है <math>A \vee B</math> में उपस्थित है <math>(\mathcal{F}, \subseteq)</math> अगर और केवल अगर वहाँ एक अद्वितीय उपस्थित है <math>\,\subseteq</math>-सबसे छोटा <math>J \in \mathcal{F}</math> ऐसा है कि <math>A \cup B \subseteq J.</math> उदाहरण के लिए, यदि <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \R \}</math> तब <math>\{1\} \vee \{2\} = \{1, 2, 3\}</math> जबकि अगर <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \{0, 1, 2\}, \R \}</math> तब <math>\{1\} \vee \{2\}</math> उपस्थित नहीं है क्योंकि समुच्चय  <math>\{0, 1, 2\} \text{ and } \{1, 2, 3\}</math> की केवल ऊपरी सीमाएँ हैं <math>\{1\} \text{ and } \{2\}</math> में <math>(\mathcal{F}, \subseteq)</math> यह संभवतः हो सकता है {{em|least}} ऊपरी सीमा <math>\{1\} \vee \{2\}</math> लेकिन <math>\{0, 1, 2\} \not\subseteq \{1, 2, 3\}</math> और <math>\{1, 2, 3\} \not\subseteq \{0, 1, 2\}.</math> अगर <math>\mathcal{F} = \{ \{1\}, \{2\}, \{0, 2, 3\}, \{0, 1, 3\} \}</math> तब <math>\{1\} \vee \{2\}</math> उपस्थित नहीं है क्योंकि इसकी कोई ऊपरी सीमा नहीं है <math>\{1\} \text{ and } \{2\}</math> में <math>(\mathcal{F}, \subseteq).</math>
+लेकिन अगर <math>\mathcal{F}</math> तब यूनियनों के तहत बंद नहीं है <math>A \vee B</math> में उपस्थित है <math>(\mathcal{F}, \subseteq)</math> अगर और केवल अगर वहाँ एक अद्वितीय उपस्थित है <math>\,\subseteq</math>-सबसे छोटा <math>J \in \mathcal{F}</math> ऐसा है कि <math>A \cup B \subseteq J.</math> उदाहरण के लिए, यदि <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \R \}</math> तब <math>\{1\} \vee \{2\} = \{1, 2, 3\}</math> जबकि अगर <math>\mathcal{F} = \{ \{1\}, \{2\}, \{1, 2, 3\}, \{0, 1, 2\}, \R \}</math> तब <math>\{1\} \vee \{2\}</math> उपस्थित नहीं है क्योंकि समुच्चय <math>\{0, 1, 2\} \text{ and } \{1, 2, 3\}</math> की केवल ऊपरी सीमाएँ हैं <math>\{1\} \text{ and } \{2\}</math> में <math>(\mathcal{F}, \subseteq)</math> यह संभवतः हो सकता है {{em|least}} ऊपरी सीमा <math>\{1\} \vee \{2\}</math> लेकिन <math>\{0, 1, 2\} \not\subseteq \{1, 2, 3\}</math> और <math>\{1, 2, 3\} \not\subseteq \{0, 1, 2\}.</math> अगर <math>\mathcal{F} = \{ \{1\}, \{2\}, \{0, 2, 3\}, \{0, 1, 3\} \}</math> तब <math>\{1\} \vee \{2\}</math> उपस्थित नहीं है क्योंकि इसकी कोई ऊपरी सीमा नहीं है <math>\{1\} \text{ and } \{2\}</math> में <math>(\mathcal{F}, \subseteq).</math>
 == यह भी देखें ==
-* {{annotated link|Locally convex vector lattice}}
+* {{annotated link|स्थानीय रूप से उत्तल वेक्टर जाली}}
 ==टिप्पणियाँ==
@@ Line 81: / Line 90: @@
 * {{cite book|first=Steven|last=Vickers|authorlink=Steve Vickers (computer scientist)|title=Topology via Logic|series=Cambridge Tracts in Theoretic Computer Science|volume=5|isbn=0-521-36062-5|year=1989|zbl=0668.54001}}
 {{refend}}
-{{Order theory}}
 {{DEFAULTSORT:Join And Meet}}
-[[Category: बाइनरी ऑपरेशंस]] [[Category: द्विआधारी संबंध]] [[Category: जाली सिद्धांत]] [[Category: आदेश सिद्धांत]]
-[[Category: Machine Translated Page]]
+[[Category:Created On 01/03/2023|Join And Meet]]
-[[Category:Created On 01/03/2023]]
+[[Category:Harv and Sfn no-target errors|Join And Meet]]
+[[Category:Machine Translated Page|Join And Meet]]
+[[Category:Pages with script errors|Join And Meet]]
+[[Category:Templates Vigyan Ready|Join And Meet]]
+[[Category:आदेश सिद्धांत|Join And Meet]]
+[[Category:जाली सिद्धांत|Join And Meet]]
+[[Category:द्विआधारी संबंध|Join And Meet]]
+[[Category:बाइनरी ऑपरेशंस|Join And Meet]]

Anonymous

Search

जुड़ें और मिलें: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 10:25, 10 March 2023

Contents