अर्ध-जाली (सेमिलेटिस)

Transitive binary relations
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Total, Semiconnex Anti- reflexive Equivalence relation Y ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Preorder (Quasiorder) ✗ ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Partial order ✗ Y ✗ ✗ ✗ ✗ Y ✗ ✗ Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗ Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗ Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering ✗ Y Y Y ✗ ✗ Y ✗ ✗ Lattice ✗ Y ✗ ✗ Y Y Y ✗ ✗ Join-semilattice ✗ Y ✗ ✗ Y ✗ Y ✗ ✗ Meet-semilattice ✗ Y ✗ ✗ ✗ Y Y ✗ ✗ Strict partial order ✗ ✗ ✗ ✗ ✗ ✗ ✗ Y Y Strict weak order ✗ ✗ ✗ ✗ ✗ ✗ ✗ Y Y Strict total order ✗ ✗ Y ✗ ✗ ✗ ✗ Y Y Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Definitions, for all $a,b$ and $S\neq \varnothing :$ ${\begin{aligned}&aRb\\\Rightarrow {}&bRa\end{aligned}}$ ${\begin{aligned}aRb{\text{ and }}&bRa\\\Rightarrow a={}&b\end{aligned}}$ ${\begin{aligned}a\neq {}&b\Rightarrow \\aRb{\text{ or }}&bRa\end{aligned}}$ ${\begin{aligned}\min S\\{\text{exists}}\end{aligned}}$ ${\begin{aligned}a\vee b\\{\text{exists}}\end{aligned}}$ ${\begin{aligned}a\wedge b\\{\text{exists}}\end{aligned}}$ $aRa$ ${\text{not }}aRa$ ${\begin{aligned}aRb\Rightarrow \\{\text{not }}bRa\end{aligned}}$
Y indicates that the column's property is required by the definition of the row's term (at the very left). For example, the definition of an equivalence relation requires it to be symmetric. ✗ indicates that the property may, or may not hold. All definitions tacitly require the homogeneous relation $R$ be transitive: for all $a,b,c,$ if $aRb$ and $bRc$ then $aRc,$ and there are additional properties that a homogeneous relation may satisfy.

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

सेमिलैटिस को बीजगणित भी परिभाषित किया जा सकता है: जुड़ना और मिलना सहयोगीता, क्रमविनिमेयता , आलस्य बाइनरी ऑपरेशन हैं, और ऐसा कोई भी ऑपरेशन आंशिक क्रम (और संबंधित उलटा क्रम) को प्रेरित करता है, जैसे कि किसी भी दो तत्वों के लिए ऑपरेशन का नतीजा कम से कम ऊपरी सीमा है इस आंशिक क्रम के संबंध में तत्वों की (या सबसे बड़ी निचली सीमा)।

एक जाली (आदेश) एक आंशिक रूप से आदेशित सेट है जो समान आंशिक क्रम के संबंध में मिलने और जुड़ने-अर्ध-जाल दोनों है। बीजगणितीय रूप से, एक जाली दो साहचर्य, क्रमविनिमेय idempotent द्विआधारी संचालन के साथ एक सेट है जो संबंधित अवशोषण कानूनों से जुड़ा हुआ है।

आदेश-सैद्धांतिक परिभाषा

एक सेट (गणित) S आंशिक रूप से द्विआधारी संबंध द्वारा निर्धारित किया गया है ≤ मीट-सेमिलैटिस है अगर

सभी तत्वों के लिए x और y का S, सेट का infinumum {x, y} मौजूद।

सेट की सबसे बड़ी निचली सीमा {x, y} का मिलन (गणित) कहलाता है x और y, निरूपित x ∧ y.

उच्चतम परिणाम के साथ सबसे बड़ी निचली सीमा को बदलने से जुड़ने-अर्ध-जाल की दोहरी अवधारणा होती है। की सबसे कम ऊपरी सीमा {x, y} का जोड़ (गणित) कहलाता है x और y, निरूपित x ∨ y. मीट और जॉइन बाइनरी ऑपरेशंस चालू हैं S. एक सरल गणितीय प्रेरण तर्क से पता चलता है कि परिभाषा के अनुसार, सभी संभावित जोड़ीदार सुप्रीमा (इन्फिमा) का अस्तित्व, सभी गैर-रिक्त परिमित सुप्रीमा (इन्फिमा) के अस्तित्व का तात्पर्य है।

एक ज्वाइन-सेमिलैटिस को बाउंड किया जाता है यदि उसमें कम से कम एलिमेंट है, खाली सेट का जॉइन। द्वैत (आदेश सिद्धांत), एक मीट-सेमिलैटिस को बांधा जाता है यदि इसमें सबसे बड़ा तत्व है, खाली सेट का मिलन।

अन्य गुणों को ग्रहण किया जा सकता है; इस विषय पर अधिक चर्चा के लिए पूर्णता (आदेश सिद्धांत) पर आलेख देखें। उस लेख में इस बात पर भी चर्चा की गई है कि संबंधित पोसेट्स के बीच उपयुक्त गाल्वा कनेक्शन के अस्तित्व के संदर्भ में हम उपरोक्त परिभाषा को कैसे बदल सकते हैं - अवधारणा की श्रेणी सिद्धांत जांच के लिए विशेष रुचि का एक दृष्टिकोण।

बीजगणितीय परिभाषा

एक मिल-सेमिलैटिस एक बीजगणितीय संरचना है $\langle S,\land \rangle$ एक सेट (गणित) से मिलकर S बाइनरी ऑपरेशन के साथ ∧, जिसे मीट कहा जाता है, जैसे कि सभी सदस्यों के लिए x, y, और z का S, निम्नलिखित पहचान (गणित) रखती है:

साहचर्य

x ∧ (y ∧ z) = (x ∧ y) ∧ z

क्रमविनिमेयता

x ∧ y = y ∧ x

अक्षमता

x ∧ x = x

एक मिलन-सेमिलैटिस $\langle S,\land \rangle$ अगर बाध्य है S में एक पहचान तत्व 1 शामिल है जैसे कि x ∧ 1 = x सभी के लिए x में S.

अगर प्रतीक ∨, जिसे ज्वाइन कहा जाता है, रिप्लेस करता है ∧ अभी दी गई परिभाषा में, संरचना को ज्वाइन-सेमिलैटिस कहा जाता है। ऑपरेशन के लिए प्रतीक की विशेष पसंद के बारे में कोई भी अस्पष्ट हो सकता है, और केवल सेमीलैटिस के बारे में बात कर सकता है।

एक सेमिलेटिस एक कम्यूटेटिविटी, इडेमपोटेंसी semigroup है; यानी, एक कम्यूटेटिव बैंड (गणित)। एक बंधा हुआ अर्ध-जाल एक आदर्श क्रमविनिमेय मोनोइड है।

सेटिंग द्वारा मीट-सेमिलैटिस पर एक आंशिक आदेश प्रेरित किया जाता है x ≤ y जब कभी भी x ∧ y = x. ज्वाइन-सेमिलैटिस के लिए, ऑर्डर सेटिंग द्वारा प्रेरित होता है x ≤ y जब कभी भी x ∨ y = y. एक बाउंड मीट-सेमिलैटिस में, पहचान 1 का सबसे बड़ा तत्व है S. इसी तरह, एक ज्वाइन सेमीलैटिस में एक पहचान तत्व सबसे कम तत्व है।

दो परिभाषाओं के बीच संबंध

एक आदेश सैद्धांतिक मीट-सेमिलैटिस ⟨S, ≤⟩ बाइनरी ऑपरेशन को जन्म देता है ∧ ऐसा है कि ⟨S, ∧⟩ एक बीजगणितीय मीट-सेमिलैटिस है। इसके विपरीत, मिलो-सेमिलैटिस ⟨S, ∧⟩ एक द्विआधारी संबंध को जन्म देता है ≤ जो आंशिक रूप से आदेश देता है S निम्नलिखित तरीके से: सभी तत्वों के लिए x और y में S, x ≤ y अगर और केवल अगर x = x ∧ y.

रिश्ता ≤ इस तरह से पेश किया गया एक आंशिक क्रम को परिभाषित करता है जिससे बाइनरी ऑपरेशन होता है ∧ वसूल किया जा सकता है। इसके विपरीत, बीजगणितीय रूप से परिभाषित अर्धजाल द्वारा प्रेरित क्रम ⟨S, ∧⟩ द्वारा प्रेरित के साथ मेल खाता है ≤.

इसलिए दो परिभाषाओं का परस्पर उपयोग किया जा सकता है, इस पर निर्भर करता है कि किसी विशेष उद्देश्य के लिए कौन अधिक सुविधाजनक है। इसी तरह का निष्कर्ष ज्वाइन-सेमिलैटिस और डुअल ऑर्डरिंग ≥ के लिए है।

उदाहरण

अन्य ऑर्डर संरचनाओं के निर्माण के लिए, या अन्य पूर्णता गुणों के संयोजन के लिए सेमिलैटिस कार्यरत हैं।

• एक जाली (आदेश) एक जुड़ाव और एक मिल-सेमिलैटिस दोनों है। अवशोषण कानून के माध्यम से इन दो सेमिलैटिस की बातचीत वास्तव में एक जाली से एक जाली को अलग करती है।
• एक बीजगणितीय जाली (क्रम) के कॉम्पैक्ट तत्व, प्रेरित आंशिक क्रम के तहत, एक बंधी हुई ज्वाइन-सेमिलैटिस बनाते हैं।
• किसी भी परिमित अर्ध-जाल को प्रेरण द्वारा बाध्य किया जाता है।
• एक पूरी तरह से आदेश दिया गया सेट एक वितरण जाली है, इसलिए विशेष रूप से एक मिलना-सेमिलैटिस और जॉइन-सेमिलैटिस: किसी भी दो अलग-अलग तत्वों में एक बड़ा और छोटा होता है, जो उनका मिलना और जुड़ना है।
  • एक सुव्यवस्थित सेट आगे एक बाउंड जॉइन-सेमिलैटिस है, क्योंकि सेट के रूप में सेट में कम से कम तत्व होता है, इसलिए यह बाउंड होता है।
    • प्राकृतिक संख्या#आदेश $\mathbb {N}$, उनके सामान्य क्रम के साथ ≤, कम से कम तत्व 0 के साथ एक बाउंड जॉइन-सेमिलैटिस हैं, हालांकि उनके पास कोई सबसे बड़ा तत्व नहीं है: वे सबसे छोटे अनंत सुव्यवस्थित सेट हैं।
• ऊंचाई का कोई भी एकल जड़ वाला पेड़ (सेट सिद्धांत) (कम से कम तत्व के रूप में एकल जड़ के साथ)। $\leq \omega$ एक (आम तौर पर अबाधित) मीट-सेमिलैटिस है। उदाहरण के लिए उपसर्ग क्रम द्वारा आदेशित कुछ वर्णमाला पर परिमित शब्दों के सेट पर विचार करें। इसमें कम से कम तत्व (खाली शब्द) है, जो मीट ऑपरेशन का एक सर्वनाश करने वाला तत्व है, लेकिन कोई सबसे बड़ा (पहचान) तत्व नहीं है।
• स्कॉट डोमेन एक मीट-सेमिलैटिस है।
• किसी भी सेट में सदस्यता L को बेस सेट के साथ एक अर्ध-जाल के मॉडल सिद्धांत के रूप में लिया जा सकता है L, क्योंकि एक अर्धजाल सेट विस्तार के सार को पकड़ लेता है। होने देना a ∧ b निरूपित करें a ∈ L & b ∈ L. दो सेट केवल एक या दोनों में भिन्न होते हैं:

1. क्रम जिसमें उनके सदस्य सूचीबद्ध हैं;
2. एक या अधिक सदस्यों की बहुलता,

वास्तव में एक ही सेट हैं। की क्रमविनिमेयता और साहचर्य ∧ आश्वासन (1), आलस्य, (2)। यह अर्ध-जाल मुक्त अर्ध-जाल है L. यह से घिरा नहीं है L, क्योंकि समुच्चय स्वयं का सदस्य नहीं होता है।

• क्लासिकल एक्सटेंशनल mereology एक ज्वाइन-सेमिलैटिस को परिभाषित करती है, जिसमें ज्वाइन को बाइनरी फ्यूजन के रूप में पढ़ा जाता है। यह अर्धजाल ऊपर से विश्व व्यक्ति द्वारा घिरा हुआ है।
• एक सेट दिया S, विभाजन का संग्रह $\xi$ का S ज्वाइन-सेमिलैटिस है। वास्तव में, आंशिक आदेश किसके द्वारा दिया जाता है $\xi \leq \eta$ अगर $\forall Q\in \eta ,\exists P\in \xi$ ऐसा है कि $Q\subset P$ और दो विभाजनों का जोड़ किसके द्वारा दिया गया है $\xi \vee \eta =\{P\cap Q\mid P\in \xi \ \&\ Q\in \eta \}$. यह अर्ध-जाली बंधी हुई है, जिसमें सबसे कम तत्व सिंगलटन विभाजन है $\{S\}$.

सेमिलैटिस आकारिता

अर्ध-जाल की उपरोक्त बीजगणितीय परिभाषा दो अर्ध-जाल के बीच रूपवाद की धारणा का सुझाव देती है। दो ज्वाइन-सेमिलैटिस दिए गए हैं (S, ∨) और (T, ∨), (जॉइन-) सेमीलैटिस का एक समरूपता एक कार्य है f: S → T ऐसा है कि

f(x ∨ y) = f(x) ∨ f(y).

इस तरह f प्रत्येक अर्धजाल से जुड़े दो अर्धसमूहों का एक समरूपता है। अगर S और T दोनों में कम से कम तत्व 0 शामिल है, फिर f भी एक मोनोइड समरूपता होनी चाहिए, यानी हमें इसकी अतिरिक्त आवश्यकता है

f(0) = 0.

ऑर्डर-थ्योरिटिक फॉर्मूलेशन में, ये स्थितियां सिर्फ यह बताती हैं कि ज्वाइन-सेमिलैटिस का एक होमोमोर्फिज्म एक ऐसा फंक्शन है, जो फंक्शन (ऑर्डर थ्योरी) को संरक्षित करता है और कम से कम एलिमेंट्स, अगर ऐसा हो। स्पष्ट दोहरी-प्रतिस्थापन ∧ साथ ∨ और 0 के साथ 1—जोड़-सेमिलैटिस होमोमोर्फिज्म की इस परिभाषा को इसके मीट-सेमिलैटिस समतुल्य में बदल देता है।

ध्यान दें कि संबंधित ऑर्डरिंग रिलेशन के संबंध में कोई भी सेमीलेटिस होमोमोर्फिज्म अनिवार्य रूप से मोनोटोन समारोह है। स्पष्टीकरण के लिए एंट्री लिमिट प्रिजर्विंग फंक्शन (ऑर्डर थ्योरी) देखें।

बीजगणितीय जाली के साथ तुल्यता

श्रेणी के बीच श्रेणियों का एक प्रसिद्ध तुल्यता है ${\mathcal {S}}$ ज्वाइन-सेमिलैटिस के साथ शून्य के साथ $(\vee ,0)$-समरूपता और श्रेणी ${\mathcal {A}}$ कॉम्पैक्ट एलिमेंट-प्रिज़र्विंग पूर्ण जॉइन-होमोमोर्फिज्म के साथ बीजगणितीय लैटिस निम्नानुसार हैं। ज्वाइन-सेमिलैटिस के साथ $S$ शून्य के साथ, हम इसकी आदर्श जाली को जोड़ते हैं $\operatorname {Id} \ S$. के साथ $(\vee ,0)$-समरूपता $f\colon S\to T$ का $(\vee ,0)$-सेमिलैटिस, हम मानचित्र को जोड़ते हैं $\operatorname {Id} \ f\colon \operatorname {Id} \ S\to \operatorname {Id} \ T$, कि किसी भी आदर्श के साथ $I$ का $S$ के आदर्श को जोड़ता है $T$ द्वारा उत्पन्न $f(I)$. यह एक functor को परिभाषित करता है $\operatorname {Id} \colon {\mathcal {S}}\to {\mathcal {A}}$. इसके विपरीत, प्रत्येक बीजगणितीय जाली के साथ $A$ हम संबद्ध करते हैं $(\vee ,0)$- सेमी-लेटेक्स $K(A)$ के सभी कॉम्पैक्ट तत्वों की $A$, और प्रत्येक सघनता-संरक्षण पूर्ण जुड़ाव-समरूपता के साथ $f\colon A\to B$ बीजगणितीय जाली के बीच हम प्रतिबंध को जोड़ते हैं $K(f)\colon K(A)\to K(B)$. यह एक functor को परिभाषित करता है $K\colon {\mathcal {A}}\to {\mathcal {S}}$. जोड़ी $(\operatorname {Id} ,K)$ के बीच एक श्रेणी समानता को परिभाषित करता है ${\mathcal {S}}$ और ${\mathcal {A}}$.

वितरण सेमीलेटिस

हैरानी की बात है कि वितरण की धारणा सेमीलिटिस पर लागू होती है, भले ही वितरण को पारंपरिक रूप से दो बाइनरी ऑपरेशंस की बातचीत की आवश्यकता होती है। इस धारणा के लिए केवल एक ऑपरेशन की आवश्यकता होती है, और जाली के लिए वितरण की स्थिति को सामान्य करता है। यदि सभी के लिए एक ज्वाइन-सेमिलैटिस वितरण है a, b, और x साथ x ≤ a ∨ b वहां है a' ≤ a और b' ≤ b ऐसा है कि x = a' ∨ b' . डिस्ट्रीब्यूटिव मीट-सेमिलैटिस को दो तरह से परिभाषित किया गया है। इन परिभाषाओं को इस तथ्य से उचित ठहराया जाता है कि कोई भी वितरणात्मक जुड़ाव-अर्ध-जाल जिसमें बाइनरी मिलें मौजूद हैं, एक वितरणात्मक जाली है। प्रवेश वितरण (आदेश सिद्धांत) देखें।

एक ज्वाइन-सेमिलैटिस डिस्ट्रीब्यूटिव है अगर और केवल अगर इसके आदर्श (ऑर्डर थ्योरी) (इनक्लूजन के तहत) का लैटिस डिस्ट्रीब्यूटिव है।

पूर्ण सेमीलेटिस

आजकल, शब्द पूर्ण अर्धजाल का कोई आम तौर पर स्वीकृत अर्थ नहीं है, और विभिन्न परस्पर असंगत परिभाषाएं मौजूद हैं। यदि पूर्णता को सभी अनंत जोड़ों के अस्तित्व की आवश्यकता के लिए लिया जाता है, या सभी अनंत मिलते हैं, जो भी मामला हो, साथ ही परिमित भी हो सकता है, यह तुरंत आंशिक आदेशों की ओर जाता है जो वास्तव में पूर्ण जाली हैं। क्यों सभी संभावित अनंत जोड़ का अस्तित्व सभी संभावित अनंत मिलों (और इसके विपरीत) के अस्तित्व पर जोर देता है, प्रविष्टि पूर्णता (आदेश सिद्धांत) देखें।

फिर भी, इस अवसर पर साहित्य अभी भी पूरी तरह से जुड़ जाता है- या मिल-सेमिलैटिस को पूर्ण जाली बना देता है। इस मामले में, पूर्णता समरूपता के दायरे पर प्रतिबंध को दर्शाती है। विशेष रूप से, एक पूर्ण जॉइन-सेमिलैटिस के लिए आवश्यक है कि होमोमोर्फिज्म सभी जॉइन को संरक्षित करता है, लेकिन उस स्थिति के विपरीत जो हम पूर्णता गुणों के लिए पाते हैं, इसके लिए यह आवश्यक नहीं है कि होमोमोर्फिज्म सभी मीट को संरक्षित करें। दूसरी ओर, हम यह निष्कर्ष निकाल सकते हैं कि इस तरह की हर मैपिंग किसी गैलोज़ कनेक्शन का निचला हिस्सा है। तदनुरूपी (अद्वितीय) ऊपरी अनुलग्न पूर्ण मिलन-सेमिलैटिस का समरूपता होगा। यह क्रमशः सभी मिलने या जुड़ने को संरक्षित करने वाले morphisms के साथ सभी पूर्ण अर्ध-जाल की श्रेणियों के बीच कई उपयोगी द्वैत (श्रेणी सिद्धांत) को जन्म देता है।

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

अर्धजालकों के लिए पूर्णता की कार्डिनलिटी-प्रतिबंधित धारणाओं को साहित्य में शायद ही कभी माना जाता है।

फ्री सेमिलैटिस

यह खंड श्रेणी सिद्धांत के कुछ ज्ञान को प्रस्तुत करता है। विभिन्न स्थितियों में, मुक्त वस्तु सेमीलैटिस मौजूद हैं। उदाहरण के लिए, ज्वाइन-सेमिलैटिस (और उनके होमोमोर्फिज्म) की श्रेणी से सेट (और फ़ंक्शंस) के श्रेणी सिद्धांत के लिए भुलक्कड़ फ़ैक्टर एक आसन्न फ़ंक्टर को स्वीकार करता है। इसलिए, फ्री जॉइन-सेमिलैटिस F(S) एक सेट पर S के सभी गैर-खाली परिमित उपसमूहों का संग्रह करके बनाया गया है S, सबसेट समावेशन द्वारा आदेशित। स्पष्ट रूप से, S में एम्बेड किया जा सकता है F(S) मैपिंग द्वारा e जो कोई तत्व लेता है s में S सिंगलटन सेट के लिए {s}. फिर कोई समारोह f एक से S ज्वाइन-सेमिलैटिस के लिए T (अधिक औपचारिक रूप से, अंतर्निहित सेट के लिए T) एक अद्वितीय समरूपता को प्रेरित करता है f' ज्वाइन-सेमिलैटिस के बीच F(S) और T, ऐसा है कि f = f' ○ e. स्पष्ट रूप से, f' द्वारा दिया गया है ${\textstyle f'(A)=\bigvee \{f(s)|s\in A\}.}$ अब की स्पष्ट विशिष्टता f' आवश्यक संयोजन प्राप्त करने के लिए पर्याप्त है - आकृतिवाद-फ़ंक्टर का हिस्सा F सामान्य विचारों से प्राप्त किया जा सकता है (आसन्न फ़ैक्टर देखें)। ऑर्डरिंग के रूप में विपरीत सबसेट समावेशन का उपयोग करते हुए, फ्री मीट-सेमिलैटिस का मामला दोहरा है। बॉटम के साथ ज्वाइन-सेमिलैटिस के लिए, हम केवल खाली सेट को उपसमुच्चय के उपरोक्त संग्रह में जोड़ते हैं।

इसके अलावा, सेमीलेटिस अक्सर अन्य श्रेणियों के भीतर मुक्त वस्तुओं के लिए जनरेटर के रूप में काम करते हैं। विशेष रूप से, पूर्ण हेटिंग बीजगणित और फ्रेम-होमोमोर्फिज्म की श्रेणी से और वितरणात्मक लैटिस और जाली-होमोमोर्फिज्म की श्रेणी से दोनों भुलक्कड़ फंक्शंस में एक बायां जोड़ होता है।

यह भी देखें

• Directed set − ज्वाइनिंग सेमीलैटिस का सामान्यीकरण
• List of order topics
• Semiring

संदर्भ

• Davey, B. A.; Priestley, H. A. (2002). Introduction to Lattices and Order (second ed.). Cambridge University Press. ISBN 0-521-78451-4.
• Vickers, Steven (1989). Topology via Logic. Cambridge University Press. ISBN 0-521-36062-5.

It is often the case that standard treatments of lattice theory define a semilattice, if that, and then say no more. See the references in the entries order theory and lattice theory. Moreover, there is no literature on semilattices of comparable magnitude to that on semigroups.

बाहरी संबंध

• Jipsen's algebra structures page: Semilattices.