View source for पूर्व आदेश

{{short description|Reflexive and transitive binary relation}}
[[File:Prewellordering example svg.svg|thumb|प्राकृतिक संख्याओं पर x//4≤y//4 द्वारा परिभाषित अग्रिम-आदेश x R y का हासे आरेख।चक्रों के कारण R प्रतिसममित नहीं है। यदि चक्र में सभी संख्याओं को समतुल्य माना जाता है, तो आंशिक, सम रैखिक, क्रम<ref>on the set of numbers divisible by 4</ref> प्राप्त होना। नीचे पहला उदाहरण देखें।]]गणित में, विशेष रूप से क्रम सिद्धांत में, अग्रिम-आदेश या अर्ध-आदेश [[द्विआधारी संबंध]] है जो [[प्रतिवर्त संबंध]] और [[सकर्मक संबंध]] भी कहा जाता है। समतुल्य संबंधों और (गैर-विशुद्ध) [[आंशिक आदेश|आंशिक आदेशों]] की तुलना में सीमाएँ अधिक सामान्य हैं, दोनों अग्रिम-आदेश की विशेष स्थितियों हैं: [[एंटीसिमेट्रिक संबंध|प्रतिसममित संबंध]] (या [[कंकाल (श्रेणी सिद्धांत)|कंकाल]]) अग्रिम-आदेश आंशिक आदेश है, और [[सममित संबंध]] अग्रिम-आदेश [[तुल्यता संबंध]] है।

यह नाम {{em|पूर्व आदेश}} इस विचार से आता है कि अग्रिम-आदेश (जो आंशिक आदेश नहीं हैं) 'लगभग' (आंशिक) आदेश हैं, किन्तु पूरी तरह से नहीं; वे न तो आवश्यक रूप से प्रतिसममित और न ही [[असममित संबंध]] हैं। क्योंकि अग्रिम-आदेश बाइनरी संबंध है, प्रतीक <math>\,\leq\,</math> संबंध के लिए सांकेतिक उपकरण के रूप में उपयोग किया जा सकता है। यद्यपि, क्योंकि वे आवश्यक रूप से प्रतिसममित नहीं हैं, कुछ सामान्य अंतर्ज्ञान प्रतीक से जुड़े <math>\,\leq\,</math> प्रयुक्त नहीं हो सकता हैं। दूसरी तरफ, आंशिक क्रम और तुल्यता संबंध को परिभाषित करने के लिए, सामान्य शैली में अग्रिम-आदेश का उपयोग किया जा सकता है। यद्यपि, ऐसा करना सदैव उपयोगी या अनुपयोगी होता है, यह अध्ययन किए जा रहे बाधा क्षेत्र पर निर्भर करता है।

शब्दों में, कब <math>a \leq b,</math> होने पर b {{em|covers}} a या वह a {{em|precedes}} b , या वह b {{em|reduces}} a आदि कहे जा सकते है । कभी-कभी, अंकन ← या → या <math>\,\lesssim\,</math> के स्थान पर <math>\,\leq.</math> प्रयोग किया जाता है।

प्रत्येक अग्रिम-आदेश [[निर्देशित ग्राफ]] से मिलता हुआ होता है, समुच्चय के तत्वों के साथ कोने के अनुरूप होता है, और कोने के बीच निर्देशित किनारों के अनुरूप तत्वों के युग्म के बीचआदेश संबंध प्रदर्शित करता है। इसका विलोम सत्य नहीं है: अधिकांश निर्देशित रेखांकन न तो प्रतिवर्त और न ही सकर्मक होते हैं । सामान्यतः, संबंधित ग्राफ़ में चक्र (ग्राफ़ सिद्धांत) हो सकता है। अग्रिम-आदेश जो असममित है अब चक्र नहीं है; यह आंशिक क्रम है, और निर्देशित चक्रीय ग्राफ से मिलता हुआ होता है। अग्रिम-आदेश जो सममित है तुल्यता संबंध प्रदर्शित करता है; इसके बारे में सोचा जा सकता है कि ग्राफ़ के किनारों पर दिशा चिह्नक विलुप्त हो गए हैं। सामान्यतः, अग्रिम-आदेश के संबंधित निर्देशित ग्राफ में कई वियोजित किए गए घटक हो सकते हैं।

== औपचारिक परिभाषा ==

[[सजातीय संबंध]] पर विचार करें तो किसी दिए गए समुच्चय <math>P,</math>[[सेट (गणित)|पर]] <math>\,\leq\,</math> जिससे परिभाषा के अनुसार, <math>\,\leq\,</math> का कुछ उपसमुच्चय <math>P \times P</math> है और अंकन <math>a \leq b</math> के स्थान पर <math>(a, b) \in \,\leq.</math> प्रयोग किया जाता है , तब <math>\,\leq\,</math> को {{em|preorder}} या {{em|quasiorder}} कहा जाता है यदि यह प्रतिवर्ती संबंध और सकर्मक संबंध है; अर्थात्, यदि यह संतुष्ट करता है:
#प्रतिवर्ती संबंध: <math>a \leq a</math> सभी के लिए <math>a \in P,</math> और
#सकर्मक संबंध: यदि <math>a \leq b \text{ and } b \leq c \text{ then } a \leq c</math> सभी के लिए <math>a, b, c \in P.</math> 
#एक समुच्चय जो अग्रिम-आदेश से लैस होता है उसे अग्रिम-आदेश समुच्चय (या प्रोसेट) कहा जाता है।<ref>For "proset", see e.g. {{citation|last1=Eklund|first1=Patrik|last2=Gähler|first2=Werner|doi=10.1002/mana.19901470123|journal=Mathematische Nachrichten|mr=1127325|pages=219–233|title=Generalized Cauchy spaces|volume=147|year=1990}}.</ref> विशुद्ध अग्रिम-आदेश पर बल या इसके विपरीत, अग्रिम-आदेश को गैर-विशुद्ध अग्रिम-आदेश के रूप में भी संदर्भित किया जा सकता है।
यदि प्रतिवर्तता को [[अविचलित संबंध]] से बदल दिया जाता है (ट्रांज़िटिविटी रखते हुए) तो परिणाम को विशुद्ध अग्रिम-आदेश कहा जाता है; स्पष्ट रूप से, <math>P</math> पर '''a''' {{em|strict preorder}} सजातीय द्विआधारी संबंध है <math>\,<\,</math> पर <math>P</math> जो निम्नलिखित बाधाओं को पूरा करता है:<li>असंवेदनशीलता या विरोधी संवेदनशीलता संबंध: {{em|नाट}} <math>a < a</math> सभी के लिए <math>a \in P;</math> वह है, <math>\,a < a</math> है {{em|false}} सभी के लिए <math>a \in P,</math> और
<li>सकर्मक संबंध: यदि <math>a < b \text{ and } b < c \text{ then } a < c</math> सभी '''के लिए''' <math>a, b, c \in P.</math> के लिए,<li>एक द्विआधारी संबंध विशुद्ध अग्रिम-आदेश है यदि और केवल यदि यह [[सख्त आंशिक आदेश|विशुद्ध आंशिक आदेश]] है। परिभाषा के अनुसार, विशुद्ध आंशिक आदेश असममित संबंध विशुद्ध अग्रिम-आदेश है, जहां <math>\,<\,</math> को {{em|asymmetric}} कहा जाता है यदि <math>a < b \text{ implies } \textit{ not } \ b < a</math> सभी <math>a, b.</math>के लिए होता है , इसके विपरीत, प्रत्येक विशुद्ध अग्रिम-आदेश विशुद्ध आंशिक आदेश है क्योंकि प्रत्येक सकर्मक अपरिवर्तनीय संबंध आवश्यक रूप से असममित संबंध है।
<li>
<li>चूंकि वे समतुल्य हैं, विशुद्ध आंशिक आदेश शब्द को विशेष रूप से विशुद्ध अग्रिम-आदेश पर पसंद किया जाता है और पाठकों को ऐसे संबंधों के विवरण के लिए विशुद्ध आंशिक आदेश के लिए संदर्भित किया जाता है।विशुद्ध अग्रिम-आदेश के विपरीत, कई (गैर-विशुद्ध) अग्रिम-आदेश हैं जो (गैर-विशुद्ध) आंशिक आदेश नहीं हैं।<li>यदि अग्रिम-आदेश भी प्रतिसममित संबंध है, अर्थात, <math>a \leq b</math> और <math>b \leq a</math> तात्पर्य <math>a = b,</math> तो यह [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित]] समुच्चय है।
<li>दूसरी तरफ, यदि यह सममित संबंध है, अर्थात यदि <math>a \leq b</math> तात्पर्य <math>b \leq a,</math> तो यह तुल्यता संबंध है।<li>एक अग्रिम-आदेश [[कुल अग्रिम आदेश]] है यदि <math>a \leq b</math> या <math>b \leq a</math> सभी <math>a, b \in P.</math> के लिए होता है।


<li>
<li>पूर्वनिर्धारित समुच्चय की धारणा <math>P</math> [[श्रेणी सिद्धांत]] में [[पतली श्रेणी]] के रूप में तैयार किया जा सकता है; अर्थात्, श्रेणी के रूप में वस्तु से दूसरी वस्तु में अधिकतम रूपवाद किया जा सकता है। यहाँ [[वस्तु (श्रेणी सिद्धांत)]] के तत्वों <math>P,</math> के अनुरूप है और संबंधित वस्तुओं के लिए आकारिकी है, अन्यथा शून्य होता है । वैकल्पिक रूप से, अग्रिम-आदेशित समुच्चय को [[समृद्ध श्रेणी]] के रूप में समझा जा सकता है, अर्थात श्रेणी से समृद्ध <math>2 = (0 \to 1).</math>होता है।


<li>
<li>[[पूर्व-आदेशित वर्ग|अग्रिम-आदेशित वर्ग]] ऐसा [[वर्ग (गणित)|वर्ग]] है जो अग्रिम-आदेश से सुसज्जित है। प्रत्येक समुच्चय वर्ग है और इसलिए प्रत्येक पूर्वनिर्धारित समुच्चय पूर्वनिर्धारित वर्ग है।

== उदाहरण ==

=== ग्राफ सिद्धांत ===
* (ऊपर चित्र देखें) x//4 से अभिप्राय सबसे बड़े पूर्णांक से है जो x से कम या उसके बराबर 4 से विभाजित है, इस प्रकार 1//4 0 है, जो निश्चित रूप से 0 से कम या उसके बराबर है, जो स्वयं 0//4 के रूप में समान है।
* किसी भी निर्देशित ग्राफ़ (संभवतः चक्र युक्त) में पहुंच योग्यता संबंध अग्रिम-आदेश को जन्म देता है, जहां <math>x \leq y</math> अग्रिम-आदेश में यदि और केवल यदि निर्देशित ग्राफ में x से y तक का रास्ता है। इसके विपरीत, प्रत्येक अग्रिम-आदेश निर्देशित ग्राफ़ का रीचैबिलिटी संबंधशिप है (उदाहरण के लिए, ग्राफ़ जिसमें प्रत्येक जोड़ी के लिए x से y तक का कोर है {{nowrap|(''x'', ''y'')}} साथ <math>x \leq y.</math> यद्यपि, कई अलग-अलग ग्राफ़ में एक-दूसरे के समान गम्‍यता अग्रिम-आदेश हो सकते हैं। उसी तरह, निर्देशित अचक्रीय ग्राफ़ की पुन: योग्यता, बिना चक्र वाले निर्देशित ग्राफ़, आंशिक रूप से निर्देशित किए गए समुच्चयों को जन्म देते हैं (अतिरिक्त एंटीसिमेट्री संपत्ति को संतुष्ट करने वाले अग्रिम-आदेश)।
* [[ग्राफ सिद्धांत]] में [[ग्राफ-मामूली|ग्राफ-]]सामान्य संबंध।

=== कंप्यूटर विज्ञान ===
कंप्यूटर विज्ञान में, निम्नलिखित अग्रिम-आदेशों के उदाहरण मिल सकते हैं।
* [[बिग ओ नोटेशन|स्पर्शोन्मुख आदेश कार्यों]] <math>f: \mathbb{N} \to \mathbb{N}</math>. पर अग्रिम-आदेश का कारण बनता है संबंधित तुल्यता संबंध को स्पर्शोन्मुख तुल्यता कहा जाता है।
* बहुपद-समय, कई-एक (मानचित्रण) और ट्यूरिंग रिडक्शन जटिलता वर्गों पर अग्रिम-आदेश हैं।
* [[सबटाइपिंग|उप-टाइपिंग]] संबंध सामान्यतः अग्रिम-आदेश होते हैं।<ref>{{cite book |last=Pierce |first=Benjamin C. |author-link=Benjamin C. Pierce
 |date=2002 |title=Types and Programming Languages |title-link=Types and Programming Languages |location=Cambridge, Massachusetts/London, England |publisher=The MIT Press |pages=182ff |isbn=0-262-16209-1}}</ref>
* [[सिमुलेशन प्रीऑर्डर|अनुकार अग्रिम आदेश]] अग्रिम आदेश (इसलिए नाम) हैं।
* सार पुनर्लेखन प्रणालियों में संबंधों में कमी।
* <math>s \leq t</math> द्वारा परिभाषित परिस्थितियों के सेट पर समावेशन अग्रिम-आदेश, यदि ''t'' का सबटर्म(उपवाक्य) ''s'' का [[प्रतिस्थापन उदाहरण]] है।
* थीटा-अवधारणा,<ref>{{cite journal |last=Robinson | first=J. A. |title=A machine-oriented logic based on the resolution principle |journal=ACM |volume=12 |number=1 |pages=23–41 |year=1965 | doi=10.1145/321250.321253 | s2cid=14389185 |url=https://dl.acm.org/doi/pdf/10.1145/321250.321253}}</ref> जो तब होता है जब पूर्व के लिए [[प्रतिस्थापन (तर्क)|प्रतिस्थापन]] प्रयुक्त करने के बाद, वियोगात्मक प्रथम-क्रम सूत्र में शाब्दिक दूसरे द्वारा निहित होते हैं।

=== अन्य ===
और उदाहरण:
* प्रत्येक [[परिमित सामयिक स्थान]] परिभाषित करके अपने बिंदुओं पर अग्रिम-आदेश को जन्म देता है <math>x \leq y</math> यदि और केवल यदि x, y के प्रत्येक [[पड़ोस (गणित)|निकटतम]] से संबंधित है। इस तरह से सामयिक(टोपोलॉजिकल) स्थान के विशेषज्ञता अग्रिम-आदेश के रूप में हर परिमित अग्रिम-आदेश का गठन किया जा सकता है। यही है, परिमित [[टोपोलॉजी|सामयिक]] और परिमित सीमा के मध्य एक-से-एक पत्राचार होता है। चूंकि, अनंत सामयिक रिक्त स्थान और उनकी विशेषज्ञता की सीमाओं के बीच संबंध एक-से-एक नहीं है।
* नेट [[निर्देशित सेट|निर्देशित]] समुच्चय अग्रिम-आदेश है, अर्थात तत्वों की प्रत्येक जोड़ी में [[ऊपरी सीमा]] होती है। नेट के माध्यम से अभिसरण की परिभाषा सामयिक में महत्वपूर्ण है, जहां महत्वपूर्ण विशेषताओं को खोए बिना अग्रिम-आदेशों को आंशिक रूप से आदेशित समुच्चयों द्वारा प्रतिस्थापित नहीं किया जा सकता है।
* <math>x \leq y</math> द्वारा परिभाषित संबंध यदि <math>f(x) \leq f(y),</math> जहां ''f'' कुछ अग्रिम-आदेश में प्रकार्य है।
* <math>x \leq y</math> द्वारा परिभाषित संबंध '''<math>x \leq y</math>''' यदि ''x'' से ''y'' तक कुछ [[इंजेक्शन समारोह|अंतःक्षेपण समारोह]] उपस्थित है। अन्तःक्षेपण को या किसी भी प्रकार की संरचना-संरक्षण कार्य, जैसे [[रिंग समरूपता]], या क्रमचय [[अनुमान]] से बदला जा सकता है।
* गणनीय कुल अदेशन(ऑर्डरिंग) के लिए [[एम्बेडिंग|अंत:स्थापन]] संबंध।
* [[श्रेणी (गणित)|श्रेणी]] किसी भी वस्तु x से किसी भी अन्य वस्तु y में अधिकतम रूपवाद के साथ अग्रिम-आदेश है। ऐसी श्रेणियों को पतली श्रेणी कहा जाता है। इस अर्थ में, श्रेणियां वस्तुओं के बीच से अधिक संबंधों की अनुमति देकर अग्रिम-आदेशों को सामान्यीकृत करती हैं: प्रत्येक आकारिकी विशिष्ट (नामित) अग्रिम-आदेश संबंध है।

विशुद्ध दुर्बल अदेशन कुल अग्रिम आदेश का उदाहरण:
* वरीयता, सामान्य मॉडल के अनुसार।

== उपयोग ==
कई स्थितियों में अग्रिम-आदेश महत्वपूर्ण भूमिका निभाते हैं:
* हर अग्रिम-आदेश को सामयिकता दी जा सकती है, [[अलेक्जेंडर टोपोलॉजी|अलेक्जेंडर सामयिक]]; और वास्तव में, समुच्चय पर प्रत्येक अग्रिम-आदेश उस समुच्चय पर अलेक्जेंड्रोव सामयिक के साथ एक-से-एक पत्राचार में है।
* [[आंतरिक बीजगणित]] को परिभाषित करने के लिए अग्रिम-आदेशों का उपयोग किया जा सकता है।
* अग्रिम आदेश कुछ प्रकार के [[मॉडल तर्क]] के लिए क्रिपके शब्दार्थ प्रदान करते हैं।
* अग्रिम आदेश का उपयोग फोर्सिंग में [[समुच्चय सिद्धान्त]] में स्थिरता और [[स्वतंत्रता (गणितीय तर्क)|स्वतंत्रता]] परिणामों को सिद्ध करने के लिए किया जाता है।<ref>{{citation
 | last = Kunen | first = Kenneth
 | title = Set Theory, An Introduction to Independence Proofs
 | publisher = Elsevier
 | publication-place = Amsterdam, The Netherlands
 | series = Studies in logic and the foundation of mathematics
 | volume = 102
 | year = 1980
}}.</ref>
== निर्माण ==

एक समुच्चय <math>S</math> पर प्रत्येक द्विआधारी संबंध <math>R</math> को [[सकर्मक बंद]] और [[रिफ्लेक्सिव क्लोजर|प्रतिवर्ती क्लोजर]] <math>R^{+=}.</math> को लेकर <math>S</math> पर अग्रिम-आदेश तक बढ़ाया जा सकता है , सकर्मक समापन <math>R : x R^+ y</math> में पथ कनेक्शन को इंगित करता है यदि और केवल यदि <math>x</math> से <math>y.</math> तक कोई <math>R</math>-[[पथ (ग्राफ सिद्धांत)|पथ]] है। 

एक द्विआधारी संबंध दिया <math>R,</math> पूरक रचना <math>R \backslash R = \overline{R^\textsf{T} \circ \overline{R}}</math> अग्रिम-आदेश बनाता है जिसे बायाँ अवशिष्ट कहा जाता है,<ref>In this context, "<math>\backslash</math>" does not mean "set difference".</ref> जहाँ <math>R^\textsf{T}</math>, <math>R,</math> के विलोम संबंध को दर्शाता है और <math>\overline{R}</math> <math>R,</math> के [[पूरक (सेट सिद्धांत)|पूरक]] संबंध को दर्शाता है जबकि <math>\circ</math> संबंध संरचना को दर्शाता है।

=== विभाजनों पर अग्रिम आदेश और आंशिक आदेश ===

<math>S</math> पर <math>\,\lesssim\,</math> के अग्रिम-आदेश को देखते हुए <math>S</math> पर तुल्यता संबंध <math>\,\sim\,</math> को परिभाषित कर सकता है जैसे कि:<math display="block">a \sim b \quad \text{ if and only if } \quad a \lesssim b \; \text{ and } \; b \lesssim a.</math> परिणामी संबंध <math>\,\sim\,</math>प्रतिवर्ती है क्योंकि अग्रिम-आदेश <math>\,\lesssim\,</math> प्रतिवर्त है; <math>\,\lesssim\,</math> की संक्रामकता को दो बार प्रयुक्त करके सकर्मक और परिभाषा के अनुसार सममित को प्रदर्शित करता है ।

इस संबंध का उपयोग करके, तुल्यता के भागफल समुच्चय <math>S / \sim,</math> पर आंशिक क्रम बनाना संभव है, जो कि सभी [[तुल्यता वर्ग|तुल्यता वर्गों]] का समुच्चय <math>\,\sim.</math> है।


<li>यदि अग्रिम-आदेश <math>R^{+=},</math>द्वारा निरूपित किया जाता है तब तुल्यता वर्ग <math>R</math>-चक्र का समुच्चय <math>S / \sim</math> है: <math>x \in [y]</math> यदि और केवल यदि <math>x = y</math> या <math>x</math> <math>R</math>-साइकिल के साथ <math>y</math> किसी भी स्थितियों में है <math>S / \sim</math> पर <math>[x] \leq [y]</math> यदि और केवल यदि <math>x \lesssim y.</math>परिभाषित करना संभव है। यह अच्छी तरह से परिभाषित है, जिसका अर्थ है कि इसकी परिभाषित स्थिति किस <math>[x]</math> और <math>[y]</math> प्रतिनिधि पर निर्भर नहीं करती है सामान्यतः यह <math>\,\sim.\,</math> की परिभाषा से अनुसरण करते हैं यह आसानी से सत्यापित है कि यह आंशिक रूप सेआदेश किए गए समुच्चय का उत्पादन करता है।<li>इसके विपरीत, किसी समुच्चय <math>S,</math> के विभाजन पर किसी आंशिक क्रम से <math>S</math> पर स्वतः अग्रिम-आदेश बनाना संभव है । अग्रिम-आदेशों और युग्म (विभाजन, आंशिक क्रम) के बीच एक-से-एक पत्राचार होता है।
<li>{{em|उदाहरण}}: अनुमानित रूप में <math>S</math> [[सिद्धांत (गणितीय तर्क)|सिद्धांत]] हो, जो कुछ गुणों के साथ [[वाक्य (गणितीय तर्क)|वाक्य]] का समुच्चय है (जिसका विवरण सिद्धांत में पाया जा सकता है)। उदाहरण के लिए, <math>S</math> [[प्रथम-क्रम सिद्धांत]] (जैसे ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) या सरल [[प्रस्तावक कलन]] अथवा शून्य-क्रम सिद्धांत हो सकता है | <math>S</math> के अनेक गुणों में से है कि यह तार्किक परिणामों के अनुसार बंद है, उदाहरण के लिए, यदि कोई वाक्य <math>A \in S</math> तार्किक रूप से कुछ वाक्य <math>B,</math> का तात्पर्य है जो <math>A \Rightarrow B</math> और <math>B \Leftarrow A,</math> हो तो आवश्यक रूप से <math>B \in S</math> (विधि समुच्चय करके) के रूप में भी लिखा जाएगा।


<li>
<li>रिश्ता <math>\,\Leftarrow\,</math> <math>S</math> पर अग्रिम आदेश है क्योंकि <math>A \Leftarrow A</math> सदैव धारण करता है और जब भी <math>A \Leftarrow B</math> और <math>B \Leftarrow C</math> दोनों धारण करते हैं तो <math>A \Leftarrow C.</math> भी होता है। इसके अतिरिक्त, किसी भी <math>A, B \in S,</math> <math>A \sim B</math> के लिए यदि और केवल यदि <math>A \Leftarrow B \text{ and } B \Leftarrow A</math>; अर्थात्, दो वाक्य <math>\,\Leftarrow\,</math> के संबंध में समतुल्य हैं यदि और केवल यदि वे [[तार्किक रूप से समकक्ष|तार्किक रूप से समतुल्य]] हैं। यह विशेष तुल्यता संबंध <math>A \sim B</math> सामान्यतः अपने विशेष प्रतीक <math>A \iff B,</math> के साथ दर्शाया जाता है और इसलिए <math>\,\sim.</math> प्रतीक के स्थान पर <math>\,\iff\,</math> उपयोग किया जा सकता है वाक्य का तुल्यता वर्ग <math>A,</math> <math>[A],</math> द्वारा चिह्नित किया जाता है , सभी वाक्यों से मिलकर <math>B \in S</math> बनता है जो तार्किक रूप <math>A</math> से समकक्ष (अर्थात सभी <math>B \in S</math> ऐसा है कि <math>A \iff B</math>) हैं।

<li>
<li><math>\,\Leftarrow,\,</math>द्वारा प्रेरित <math>S / \sim</math> आंशिक आदेश जिसे उसी प्रतीक<math>\,\Leftarrow,\,</math> द्वारा भी दर्शाया जाएगा <math>[A] \Leftarrow [B]</math> की विशेषता यदि और केवल यदि <math>A \Leftarrow B,</math> जहां दाहिने हाथ की स्थिति तुल्यता वर्गों के प्रतिनिधियों <math>A \in [A]</math> और <math>B \in [B]</math> की पसंद से स्वतंत्र होती है।


<li>
<li>यह सब <math>\,\Leftarrow\,</math> कहा गया है अब तक इसके विलोम संबंध के बारे में भी <math>\,\Rightarrow.\,</math> कहा जा सकता है पहले से आदेश किया हुआ समुच्चय <math>(S, \Leftarrow)</math> निर्देशित समुच्चय है क्योंकि यदि <math>A, B \in S</math> और यदि <math>C := A \wedge B</math> [[तार्किक संयोजन]] <math>\,\wedge,\,</math> द्वारा गठित वाक्य को दर्शाता है तब <math>A \Leftarrow C</math> और <math>B \Leftarrow C</math> कहाँ <math>C \in S.</math> आंशिक रूप से आदेशित समुच्चय <math>\left(S / \sim, \Leftarrow\right)</math> परिणामस्वरूप निर्देशित समुच्चय भी है।संबंधित उदाहरण के लिए लिंडेनबाम-टार्स्की बीजगणित देखें।
=== अग्रिम-आदेश और विशुद्ध अग्रिम-आदेश ===

अग्रिम-आदेश द्वारा प्रेरित विशुद्ध अग्रिम-आदेश:

अग्रिम-आदेश <math>\,\lesssim,</math> नया रिश्ता <math>\,<\,</math> घोषित करके <math>a < b</math> यदि और केवल यदि <math>a \lesssim b \text{ and not } b \lesssim a.</math>परिभाषित किया जा सकता है , तुल्यता संबंध <math>\,\sim\,</math> का उपयोग करना <math>a < b</math> यदि और केवल यदि <math>a \lesssim b \text{ and not } a \sim b;</math> पर प्रस्तुत किया गया,और इसलिए निम्नलिखित धारण करता है;<math display="block">a \lesssim b \quad \text{ if and only if } \quad a < b \; \text{ or } \; a \sim b.</math>रिश्ता <math>\,<\,</math> विशुद्ध आंशिक आदेश है और {{em|प्रत्येक}} विशुद्ध आंशिक आदेश इस तरह से बनाया जा सकता है।

<li>
<li>{{em|यदि}} अग्रिम आदेश <math>\,\lesssim\,</math> प्रतिसममित संबंध है (और इस प्रकार आंशिक क्रम) तो तुल्यता <math>\,\sim\,</math> समानता है (अर्थात, <math>a \sim b</math> यदि और केवल यदि <math>a = b</math>) और इसलिए इस स्थितियों में,<math>\,<\,</math> की परिभाषा के रूप में पुनर्स्थापित किया जा सकता है:<math display="block">a < b \quad \text{ if and only if } \quad a \leq b \; \text{ and } \; a \neq b \quad\quad (\text{assuming } \lesssim \text{ is antisymmetric}).</math>किन्तु खास बात यह है कि यह नई बाधा है {{em|नाट}} संबंध <math>\,<\,</math> की सामान्य परिभाषा के रूप में (न ही यह समतुल्य है) उपयोग किया जाता है (वह , <math>\,<\,</math> है {{em|नाट}} के रूप में परिभाषित: <math>a < b</math> यदि और केवल यदि <math>a \lesssim b \text{ and } a \neq b</math>) क्योंकि यदि अग्रिम-आदेश <math>\,\lesssim\,</math> प्रतिसममित नहीं है तो परिणामी संबंध <math>\,<\,</math> सकर्मक नहीं होगा (विचार करें कि समतुल्य गैर-बराबर तत्व कैसे संबंधित हैं)।
<li>
<li>प्रतीक <math>\leq</math> के "इससे कम या इसके बराबर" के अतिरिक्त प्रतीक <math>\lesssim</math> के प्रयोग का यही कारण है ''',''' जो ऐसे अग्रिम-आदेश के लिए भ्रम उत्पन्न कर सकता है जो प्रतिसममित नहीं है क्योंकि यह भ्रामक रूप से सुझाव दे सकता है कि <math>a \leq b</math> तात्पर्य <math>a < b \text{ or } a = b.</math>है।  

==== विशुद्ध अग्रिम-आदेश से प्रेरित अग्रिम-आदेश ====
उपरोक्त निर्माण का उपयोग करके, कई गैर-विशुद्ध अग्रिम-आदेश ही विशुद्ध अग्रिम-आदेश<math>\,<,\,</math> उत्पन्न कर सकते हैं इसलिए <math>\,<\,</math> के निर्माण के बारे में अधिक जानकारी के बिना (उदाहरण के लिए समकक्ष संबंध ∼ का ऐसा ज्ञान),<math>\,<.\,</math>से मूल गैर-सख्त पूर्व आदेश का पुनर्निर्माण करना संभव नहीं हो सकता है। संभावित (गैर-विशुद्ध) अग्रिम-आदेश जो दिए गए विशुद्ध अग्रिम-आदेश को प्रेरित करते हैं <math>\,<\,</math> निम्नलिखित को सम्मिलित है:
* <math>a \leq b</math> जैसा <math>a < b \text{ or } a = b</math> (अर्थात, संबंध का प्रतिवर्त समापन लें) को परिभाषित करना। यह विशुद्ध आंशिक आदेश से जुड़ा आंशिक आदेश <math><</math> देता है प्रतिवर्ती क्लोजर के माध्यम से; इस स्थितियों में समानता <math>\,=,</math> प्रतीक समानता है तो <math>\,\lesssim\,</math> और <math>\,\sim\,</math> आवश्यकता नहीं है।
* <math>a \lesssim b</math> जैसा<math>\text{ not } b < a</math>(अर्थात, संबंध का व्युत्क्रम पूरक लें) जो <math>a \sim b</math> न तो <math>a < b \text{ nor } b < a</math> परिभाषित करने के अनुरूप है; ये संबंध <math>\,\lesssim\,</math> और <math>\,\sim\,</math> सामान्य रूप से सकर्मक नहीं हैं; यद्यपि, यदि वे <math>\,\sim\,</math> समानता है; उस स्थितियों में <math><</math> [[सख्त कमजोर आदेश|विशुद्ध दुर्बल आदेश]] है। परिणामी अग्रिम-आदेश [[जुड़ा हुआ संबंध]] है (जिसे पहले टोटल कहा जाता था); अर्थात कुल अग्रिम-आदेश हैं।

यदि <math>a \leq b</math> तब <math>a \lesssim b.</math> (अर्थात, <math>\,\lesssim\;\; = \;\;\leq\,</math>) यदि और केवल यदि जब भी <math>a \neq b</math> तब <math>a < b</math> या <math>b < a.</math>विलोम धारण करता है ।
== अग्रिम-आदेशों की संख्या==
{{Number of relations}}
जैसा कि ऊपर बताया गया है, पूर्व-आदेशों और जोड़े (विभाजन, आंशिक क्रम) के बीच 1-टू-1 पत्राचार है। इस प्रकार पूर्व-आदेशों की संख्या प्रत्येक विभाजन पर आंशिक आदेशों की संख्या का योग है। उदाहरण के लिए:
{{unordered list
| for <math>n = 3:</math>
* 1 partition of 3, giving 1 preorder
* 3 partitions of {{nowrap|2 + 1}}, giving <math>3 \times 3 = 9</math> preorders
* 1 partition of {{nowrap|1 + 1 + 1}}, giving 19 preorders

I.e., together, 29 preorders.
| for <math>n = 4:</math>
* 1 partition of 4, giving 1 preorder
* 7 partitions with two classes (4 of {{nowrap|3 + 1}} and 3 of {{nowrap|2 + 2}}), giving <math>7 \times 3 = 21</math> preorders
* 6 partitions of {{nowrap|2 + 1 + 1}}, giving <math>6 \times 19 = 114</math> preorders
* 1 partition of {{nowrap|1 + 1 + 1 + 1}}, giving 219 preorders

I.e., together, 355 preorders.
}}
== अंतराल ==
<math>a \lesssim b,</math>के लिए [[अंतराल (गणित)|अंतराल]] <math>[a, b]</math> बिंदुओं का समुच्चय x <math>a \lesssim x</math> और <math>x \lesssim b,</math> के लिए संतोषजनक है जिसे <math>a \lesssim x \lesssim b.</math> भी लिख सकते है , इसमें कम से कम अंक a और b होते हैं। कोई भी परिभाषा को सभी जोड़ियों <math>(a, b)</math> तक विस्तारित कर चुन सकता है जहाँ अतिरिक्त अंतराल सभी खाली हैं।

इसी विशुद्ध संबंध <math><</math> का उपयोग कर , कोई भी अंतराल <math>(a, b)</math> को अंक x के समुच्चय के रूप में परिभाषित कर सकता है जो <math>a < x</math> और <math>x < b,</math> को संतुष्ट करता है और <math>a < x < b.</math> भी लिखा जाता है। खुला अंतराल <math>a < b.</math> तथापि खाली हो सकता है।


<li><math>[a, b)</math> और <math>(a, b]</math> को भी इसी प्रकार परिभाषित किया जा सकता है।

== यह भी देखें ==
* आंशिक रूप से आदेशित समुच्चय - अग्रिम-आदेश जो प्रतिसममित संबंध है।
* तुल्यता संबंध - पूर्वक्रम जो कि सममित संबंध है।
* विशुद्ध दुर्बल आदेश या कुल [[अग्रिम आदेश]] - अग्रिम-आदेश जो जुड़ा हुआ संबंध है।
* कुल आदेश - अग्रिम-आदेश जो प्रतिसममित और कुल है।
* निर्देशित समुच्चय।
* [[पहले से ऑर्डर किए गए सेट की श्रेणी|पहले से आदेश किए गए समुच्चय की श्रेणी।]]
* अग्रिम-आदेश देना।
* अच्छी तरह से आदेश देने वाला।

== टिप्पणियाँ ==
<references />
==संदर्भ==
* Schmidt, Gunther, "Relational Mathematics", Encyclopedia of Mathematics and its Applications, vol. 132, Cambridge University Press, 2011, {{isbn|978-0-521-76268-7}}
* {{Citation
  | last = Schröder | first = Bernd S. W.
  | title = Ordered Sets: An Introduction
  | place = Boston
  | publisher = Birkhäuser
  | year = 2002
  | isbn = 0-8176-4128-9
  }}

[[Category:Created On 16/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:आदेश सिद्धांत]]
[[Category:द्विआधारी संबंध]]