सम्पूर्ण क्रम (टोटल आर्डर)

From Vigyanwiki

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

  1. (स्वतुल्य)।
  2. यदि और तब (संक्रमणीय (ट्रांज़िटिव))।
  3. यदि और तब (प्रतिसममित (एंटीसिमेट्रिक))।
  4. या (दृढ़ता से जुड़ा हुआ, पूर्व में कुल कहा जाता था)।

स्वतुल्यता (1.) पहले ही संबंधितता (4.) से प्राप्त होती है, लेकिन बहुत से लेखकों द्वारा इसे स्पष्ट रूप से आवश्यक माना जाता है, ताकि आंशिक क्रमों के साथ इसकी सम्बन्धिता को दर्शाया जा सके।[1] सम्पूर्ण क्रमों को कभी-कभी सरल,[2] कॉननेक्स,[3] या सम्पूर्ण क्रम भी कहा जाता है।[4]

सम्पूर्ण क्रम के साथ क्रमित एक समुच्चय को पूर्णतः क्रमित समुच्चय कहते हैं;[5] सरलताः क्रमित समुच्चय,[2] रैखिक रूप से क्रमित समुच्चय,[3][5] और लोसेट[6][7] भी उपयोग किए जाते हैं। शब्द श्रृंखला कभी-कभी पूर्णतः क्रमित समुच्चय के पर्यायी शब्द के रूप में परिभाषित किया जाता है,[5] लेकिन सामान्यतः यह किसी दिए गए आंशिक क्रमित समुच्चय के पूर्णतः क्रमित उपसमुच्चयों के प्रति संकेत करता है।

किसी दिए गए आंशिक क्रम को सम्पूर्ण क्रम में विस्तारित करना उस आंशिक क्रम का रैखिक प्रसार कहलाता है।

स्ट्रिक्ट और नॉन-स्ट्रिक्ट सम्पूर्ण क्रम

समुच्चय पर स्ट्रिक्ट सम्पूर्ण क्रम पर स्ट्रिक्ट आंशिक क्रम होता है जिसमें किन्हीं दो भिन्न-भिन्न तत्वों की तुलना की जा सकती है। अर्थात्, एक स्ट्रिक्ट सम्पूर्ण क्रम कुछ समुच्चय पर द्विआधारी संबंध होता है, जो में सभी और के लिए निम्नलिखित को संतुष्ट करता है:

  1. नहीं (अस्वतुल्य)।
  2. यदि है तो नहीं (असममित)।
  3. यदि और है तो (संक्रमणीय)।
  4. यदि है, अतः या (संसक्त)।

असममिता सकर्मकता और अस्वतुल्यता से परिणत होती है;[8] इसके अतिरिक्त, अस्वतुल्यता भी असममिता से परिणत होता है।[9]

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

  • यदि और (स्वतुल्य समानयन)।
  • यदि नहीं तो (अर्थात , के व्युत्क्रम का कॉम्प्लीमेंट होता है)।

इसके विपरीत, स्ट्रिक्ट सम्पूर्ण क्रम का रिफ्लेक्टिव क्लोजर (नॉन-स्ट्रिक्ट) सम्पूर्ण क्रम होता है।

उदाहरण

  • किसी पूर्णतः क्रमित समुच्चय X के किसी भी उपसमुच्चय के लिए, X पर क्रम की प्रतिबंधितता के लिए भी वह पूर्णतः क्रमित होता है।
  • रिक्त समुच्चय, , पर विशिष्ट क्रम होना, एक सम्पूर्ण क्रम है।
  • किसी भी कार्डिनल संख्या या क्रम संख्या के समुच्चय (इससे अधिक दृढ़तापूर्वक, ये सुव्यवस्थित हैं)।
  • यदि X कोई भी समुच्चय है और f एकैकी फलन है जो X से एक पूर्णतः क्रमित समुच्चय के लिए जाता है, तो f, X पर सम्पूर्ण क्रम को उत्पन्न करता है, जब f(x1) ≤ f(x2) हो यदि और केवल यदि x1x2 निर्धारित होता है।
  • पूर्णतः क्रमित समुच्चयों के एक वर्ग के कार्तीय गुणनफल पर लेक्सिकोग्राफ़िक क्रम, एक सुव्यवस्थित समुच्चय द्वारा अनुक्रमित, स्वयं सम्पूर्ण क्रम होता है।
  • सामान्य "कम या बराबर" (≤) या "अधिक या बराबर" (≥) संबंधों द्वारा क्रमित वास्तविक संख्याओं का समुच्चय पूर्णतः क्रमित है। इसलिए वास्तविक संख्याओं का प्रत्येक उपसमुच्चय पूर्णतः क्रमबद्ध होता है, जैसे प्राकृतिक संख्याएँ, पूर्णांक और परिमेय संख्याएँ। इनमें से प्रत्येक को निश्चित गुणधर्म के साथ पूरी तरह से क्रमित समुच्चय के अद्वितीय (एक क्रम समरूपता तक) "प्रारंभिक उदाहरण" के रूप में दिखाया जा सकता है, (यहां, एक सम्पूर्ण क्रम A गुणधर्म के लिए प्रारंभिक उदाहरण है, यदि B में गुणधर्म है, तो B के एक उपसमुच्चय के लिए A से क्रम समानानुक्रमिकता होती है):[10][citation needed]
    • प्राकृतिक संख्याएँ बिना किसी उर्ध्व परिबंध के एक प्रारंभिक गैर-रिक्त पूर्ण रूप से क्रमित समुच्चय बनाती हैं।
    • पूर्णांक प्रारंभिक गैर-रिक्त पूर्णतः क्रमबद्ध समुच्चय बनाते हैं जिसमें न तो कोई ऊपरी और न ही निम्न परिबंध होती है।
    • परिमेय संख्याएँ एक आरंभिक पूर्णतया क्रमबद्ध समुच्चय बनाती हैं जो वास्तविक संख्याओं में सघन होता है। इसके अतिरिक्त, स्वतुल्य समानयन < परिमेय संख्याओं पर एक सघन क्रम है।
    • वास्तविक संख्याएँ प्रारंभिक असंबद्ध पूर्णतः क्रमबद्ध समुच्चय बनाती हैं जो क्रम टोपोलॉजी (नीचे परिभाषित) में संसक्त है।
  • क्रमित फ़ील्ड पूरी तरह से परिभाषा के अनुसार क्रमित हैं। इनमें परिमेय संख्याएँ और वास्तविक संख्याएँ सम्मिलित हैं। प्रत्येक क्रमित फ़ील्ड में एक क्रमबद्ध उपफ़ील्ड होती है जो तर्कसंगत संख्याओं के लिए समरूपी होता है। कोई भी डेडेकाइंड-पूर्ण क्रमित फ़ील्ड वास्तविक संख्याओं के समरूपी होता है।
  • डिक्शनरी क्रम के अनुसार क्रमबद्ध किया गया है, उदाहरण के लिए, A < B < C इत्यादि, एक स्ट्रिक्ट सम्पूर्ण क्रम है।

श्रृंखलाएं (चेन)

शृंखला शब्द को कभी-कभी पूर्णतः क्रमित समुच्चय के पर्याय के रूप में परिभाषित किया जाता है, लेकिन इसका उपयोग सामान्यतः आंशिक रूप से क्रमित समुच्चय के उपसमुच्चय को संदर्भित करने के लिए किया जाता है जो प्रेरित क्रम के लिए पूर्णतः क्रमित किया जाता है।[1][11] सामान्यतः, आंशिक रूप से क्रमित समुच्चय किसी दिए गए समुच्चय के उपसमुच्चय का एक समुच्चय होता है जिसे सम्मिलित करने का क्रम दिया जाता है, और इस शब्द का उपयोग श्रृंखलाओं के समुच्चय के गुणों को बताने के लिए किया जाता है। समुच्चय के नेस्टेड स्तरों की यह उच्च संख्या शब्द की उपयोगिता को स्पष्ट करती है।

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

कुछ संदर्भों में, जिन शृंखलाओं पर विचार किया जाता है वे अपने सामान्य क्रम या उसके विपरीत क्रम के साथ प्राकृतिक संख्याओं के समरूपी क्रम वाली होती हैं। इस स्थिति में, एक श्रृंखला को एक मोनोटोन अनुक्रम से पहचाना जा सकता है, और इसे आरोही श्रृंखला या अवरोही श्रृंखला कहा जाता है, यह इस बात पर निर्भर करता है कि अनुक्रम बढ़ रहा है या घट रहा है।[13]

यदि प्रत्येक अवरोही श्रृंखला अंततः स्थिर हो जाती है, तो आंशिक रूप से क्रमित समुच्चय में अवरोही श्रृंखला की स्थिति होती है।[14] उदाहरण के लिए, एक क्रम अच्छी तरह से स्थापित होता है यदि उसमें अवरोही श्रृंखला की स्थिति हो। इसी तरह, आरोही श्रृंखला की स्थिति का अर्थ है कि प्रत्येक आरोही श्रृंखला अंततः स्थिर हो जाती है। उदाहरण के लिए, नोथेरियन रिंग एक ऐसी रिंग है जिसके आदर्श आरोही श्रृंखला की स्थिति को संतुष्ट करते हैं।

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

"श्रृंखला" का उपयोग संरचनाओं के कुछ पूर्णतः क्रमित उप-समुच्चय के लिए भी किया जा सकता है जो आंशिक रूप से क्रमित समुच्चय नहीं हैं। एक उदाहरण बहुपदों की नियमित श्रृंखला द्वारा दिया गया है। एक अन्य उदाहरण ग्राफ में वॉक के पर्याय के रूप में "श्रृंखला" का उपयोग है।

अग्रिम अवधारणाएँ

लैटिस सिद्धांत

कोई पूर्णतः क्रमित समुच्चय को एक विशेष प्रकार की लैटिस के रूप में परिभाषित कर सकता है, अर्थात् वह जिसमें हमें प्राप्त होता है

सभी a, b के लिए।

हम तब a ≤ b लिखते हैं यदि और केवल यदि । इसलिए एक सुव्यवस्थित समुच्चय एक वितरणात्मक लैटिस है।

परिमित सम्पूर्ण क्रम

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

श्रेणी सिद्धांत

पूर्णतः क्रमित समुच्चय पूर्णतः क्रमित समुच्चयों के श्रेणी की एक पूर्ण उपश्रेणी बनाते हैं, जहां मॉर्फिज़म क्रम का सम्मान करने वाले मानचित्र होते हैं, अर्थात ऐसे मानचित्र f जो ऐसे हों जब a ≤ b तो f(a) ≤ f(b)।

दो पूर्णतया क्रमित समुच्चयों के बीच एक विशेषण मानचित्र जो दोनों क्रमों का सम्मान करता है, इस श्रेणी में एक समरूपता है।

क्रम टोपोलॉजी

किसी भी पूर्णतः क्रमित समुच्चय X के लिए हम विवृत अंतरालों को परिभाषित कर सकते हैं

  • (a, b) = {x | a < x and x < b},
  • (−∞, b) = {x | x < b},
  • (a, ∞) = {x | a < x}, और
  • (−∞, ∞) = X.

हम इन विवृत अंतरालों का उपयोग करके किसी भी क्रमित समुच्चय पर एक टोपोलॉजी, अर्थात क्रम टोपोलॉजी, की परिभाषा कर सकते हैं।

जब समुच्चय पर एक से अधिक क्रम का उपयोग किया जाता है, तो एक विशेष क्रम द्वारा उत्पन्न क्रम टोपोलॉजी के बारे में बात की जाती है। उदाहरण के लिए, यदि N प्राकृतिक संख्याएँ हैं, < कम और > अधिक हैं, तो हम < द्वारा उत्पन्न N पर क्रम टोपोलॉजी और > द्वारा उत्पन्न N पर क्रम टोपोलॉजी के बारे में बात कर सकते हैं (इस स्थिति में वे तो एक जैसी हैं, लेकिन सामान्यतः ऐसा नहीं होगा)।

सम्पूर्ण क्रम से प्रेरित क्रम टोपोलॉजी को आनुवंशिक रूप से सामान्य दिखाया जा सकता है।

सम्पूर्णता

पूर्णतः क्रमित समुच्चय को पूर्ण कहा जाता है यदि प्रत्येक ऐसा गैर-रिक्त उपसमुच्चय जिसका एक उर्ध्व परिबंध है, उसका न्यूनतम उर्ध्व परिबंध होता है। उदाहरण के लिए, वास्तविक संख्याओं का समुच्चय R पूर्ण है, लेकिन रेशियों का समुच्चय Q पूर्ण नहीं है। दूसरे शब्दों में, पूर्णता के विभिन्न अवधारणाएं ("संपूर्ण" होने के साथ भ्रमित न हों) प्रतिबंधों पर लागू नहीं होतीं। उदाहरण के लिए, वास्तविक संख्याओं पर संबंध का एक गुण यह है कि R के प्रत्येक गैर-रिक्त उपसमुच्चय S, जिसकी उर्ध्व परिबंध R में है, की R में न्यूनतम उर्ध्व परिबंध (जिसे सुप्रीमम भी कहा जाता है) होती है। हालाँकि, परिमेय संख्याओं के लिए यह सर्वोच्च आवश्यक रूप से परिमेय नहीं है, इसलिए समान गुण परिमेय संख्याओं के संबंध के प्रतिबंध पर लागू नहीं होता है।

X की पूर्णता के लिए क्रम टोपोलॉजी की गुणधर्मयों से संबंधित कई परिणाम हैं:

  • यदि X पर क्रम टोपोलॉजी जुड़ी हुई है, तो X पूर्ण हो गया है।
  • X को क्रम टोपोलॉजी के तहत तभी जोड़ा जाता है जब यह पूर्ण हो और X में कोई गैप न हो (एक गैप X में दो बिंदुओं a और b के साथ a < b होता है, ताकि कोई भी c, a < c < b को संतुष्ट न कर सके।)
  • X पूर्ण है यदि और केवल यदि जब क्रम टोपोलॉजी में बंद प्रत्येक परिबद्ध समुच्चय कॉम्पैक्ट हो।

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

क्रमों का योग

दो भिन्न-भिन्न सम्पूर्ण क्रमों और के लिए, समूह पर प्राकृतिक क्रम होता है, जिसे दो क्रमों का योग कहा जाता है या कभी-कभी केवल कहा जाता है।

, के लिए तभी मान्य होगा जब निम्नलिखित में से कोई एक मान्य होगा:
  1. और
  2. और
  3. और

सहज रूप से, इसका अर्थ यह है कि दूसरे समुच्चय के तत्व पहले समुच्चय के तत्वों के ऊपर जोड़े जाते हैं।

अधिक सामान्यतः, यदि एक पूरी तरह से क्रमित सूचकांक समुच्चय है, और प्रत्येक के लिए संरचना एक रैखिक क्रम है, जहां समुच्चय जोड़ीदार असंयुक्त हैं, तो पर प्राकृतिक सम्पूर्ण क्रम को परिभाषित किया गया है

के लिए, धारण करता है यदि:
  1. या तो के साथ कोई भी है
  2. या में , के साथ कुछ हैं

निर्णेयता

सम्पूर्ण क्रमों का प्रथम-क्रम सिद्धांत निर्णय लेने योग्य है, अर्थात यह तय करने के लिए एल्गोरिदम है कि सभी सम्पूर्ण क्रमों के लिए कौन सा प्रथम-क्रम विवरण मान्य है। एस2एस में व्याख्यात्मकता का उपयोग करते हुए, गणनीय सम्पूर्ण क्रमों का मोनैडिक दूसरे क्रम का सिद्धांत भी निर्णय लेने योग्य है।[16]

पूर्णतः क्रमित समुच्चयों के कार्तीय गुणनफल पर क्रम

बढ़ती क्षमता के क्रम में, अर्थात, युग्मांकन उपसमुच्चयों के कम होने के क्रम में, दो पूर्णतः क्रमित समुच्चयों के कार्तीय गुणनफल पर संभव तीन क्रमों में से होते हैं:

  • लेक्सिकोग्राफ़िक क्रम: (a, b) ≤ (c, d) यदि और केवल यदि जब a < c हो या (a = c और b ≤ d हो)। यह एक सम्पूर्ण क्रम है।
  • उपयुक्तता के अनुसार (a, b) ≤ (c, d) तब और केवल यदि जब a ≤ c और b ≤ d हो (गुणन क्रम गुणधर्म योग)। यह एक आंशिक क्रम है।
  • उपयुक्तता के अनुसार (a, b) ≤ (c, d) यदि और केवल यदि जब (a < c और b < d) या (a = c और b = d) हो (संबंधित स्ट्रिक्ट सम्पूर्ण क्रमों के प्रत्यक्ष गुणधर्म की अपेक्षाकालीन बंदिश)। यह भी एक आंशिक क्रम है।

इन तीनों को समान रूप से दो से अधिक समुच्चयों के कार्तीय गुणनफल के लिए परिभाषित किया जा सकता है।

सदिश समष्टि Rn पर लागू, इनमें से प्रत्येक इसे क्रमबद्ध सदिश समष्टि बनाता है।

आंशिक रूप से क्रमबद्ध समुच्चयों के उदाहरण भी देखें।

Rn के एक उपसमुच्चय पर परिभाषित n वास्तविक चर का एक वास्तविक फलन स्ट्रिक्ट दुर्बल क्रम और उस उपसमुच्चय पर एक संबंधित कुल प्रीक्रम को परिभाषित करता है।

संबंधित संरचनाएं

द्विआधारी संबंध जो प्रतिसममित, सकर्मक और स्वतुल्य है (लेकिन जरूरी नहीं कि कुल हो) एक आंशिक क्रम है।

संगत सम्पूर्ण क्रम वाला समूह एक पूर्णतः क्रमबद्ध समूह होता है।

केवल कुछ गैर-ट्राईविअल संरचनाएं हैं जो सम्पूर्ण क्रम कम कर देता (अंतरपरिभाषित) हैं। ओरिएंटेशन को भूलने से आपसी संबंध बन जाता है। सिरों का स्थान भूलने से चक्रीय क्रम बनता है। दोनों डेटा को भूलने से संबंध भिन्न हो जाता है।[17]

यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 Halmos 1968, Ch.14.
  2. 2.0 2.1 Birkhoff 1967, p. 2.
  3. 3.0 3.1 Schmidt & Ströhlein 1993, p. 32.
  4. Fuchs 1963, p. 2.
  5. 5.0 5.1 5.2 Davey & Priestley 1990, p. 3.
  6. Strohmeier, Alfred; Genillard, Christian; Weber, Mats (1990-08-01). "वर्णों और स्ट्रिंग्स का क्रम". ACM SIGAda Ada Letters (in English) (7): 84. doi:10.1145/101120.101136. S2CID 38115497.
  7. Ganapathy, Jayanthi (1992). "पॉसेट्स में अधिकतम तत्व और ऊपरी सीमाएँ". Pi Mu Epsilon Journal. 9 (7): 462–464. ISSN 0031-952X. JSTOR 24340068.
  8. Let , assume for contradiction that also . Then by transitivity, which contradicts irreflexivity.
  9. If , the not by asymmetry.
  10. This definition resembles that of an initial object of a category, but is weaker.
  11. Roland Fraïssé (Dec 2000). संबंधों का सिद्धांत. Studies in Logic and the Foundations of Mathematics. Vol. 145 (1st ed.). Elsevier. ISBN 978-0-444-50542-2. Here: p. 35
  12. Brian A. Davey and Hilary Ann Priestley (1990). लैटिस और ऑर्डर का परिचय. Cambridge Mathematical Textbooks. Cambridge University Press. ISBN 0-521-36766-2. LCCN 89009753. Here: p. 100
  13. Yiannis N. Moschovakis (2006) Notes on set theory, Undergraduate Texts in Mathematics (Birkhäuser) ISBN 0-387-28723-X, p. 116
  14. that is, beyond some index, all further sequence members are equal
  15. Davey and Priestly 1990, Def.2.24, p. 37
  16. Weyer, Mark (2002). "Decidability of S1S and S2S". ऑटोमेटा, लॉजिक्स, और अनंत खेल. Lecture Notes in Computer Science. Vol. 2500. Springer. pp. 207–230. doi:10.1007/3-540-36387-4_12. ISBN 978-3-540-00388-5.
  17. Macpherson, H. Dugald (2011), "A survey of homogeneous structures", Discrete Mathematics, 311 (15): 1599–1634, doi:10.1016/j.disc.2011.01.024


संदर्भ


बाहरी संबंध