त्रिविकल्पी नियम

गणित में, त्रिभाजन का नियम बताता है कि प्रत्येक वास्तविक संख्या या तो धनात्मक,ऋणात्मक या शून्य होती है। सामान्यत, एक समुच्चय पर  द्विआधारी संबंध आर 'त्रिभाजनीय' है अगर सभी x औरy के लिए x में,पूर्णतया एक xry, yrx और x =y में से कोई एक धारण करता है  R को <के रूप में लिखने पर, इसे औपचारिक तर्क के रूप में व्यक्त किया जाता है
 * $$\forall x \in X \, \forall y \in X \, (

[      x < y  \, \land \, \lnot(y < x) \, \land \, \lnot(x = y) ] \, \lor \, [ \lnot(x < y) \, \land \,      y < x  \, \land \, \lnot(x = y) ] \, \lor \, [ \lnot(x < y) \, \land \, \lnot(y < x) \, \land \,      x = y  ] ) \,.$$

गुण

 * संबंध त्रिविभाजित है यदि, केवल, यह असममित संबंध से जुड़ा हुआ है।
 * यदि त्रिभाजन संबंध भी सकर्मक है,तो यह निश्चित कुल क्रम है,यह निश्चित आसक्त क्रम का सम्बन्ध है।

उदाहरण

 * समुच्चय x = {a, b, c},पर  संबंध r = {(a, b), (a, c), (b, c)} सकर्मक और त्रिभाजन है, और इसलिए एक निश्चित क्रम है।
 * समुच्चय पर,चक्रीय संबंध r = {(a, b), (b, c), (c, a)} त्रिभाजन है, लेकिन सकर्मक नहीं है;यह अकर्मक भी है।

संख्या पर त्रिभाजन
संख्याओं के कुछ समुच्चय x पर त्रिभाजन नियम सामान्यतः व्यक्त करता है कि xपर कुछ निश्चित रूप से दिए गए क्रम संबंध त्रिभाजन है।किसी वास्तविक संख्या xऔर yके लिए यह नियम,पूर्णतया x<y, y <x, या x ; y पर लागू होता है;कुछ विद्धवान

भी y को शून्य करने का प्रयास करते हैं, वास्तविक संख्या के धनात्मक रैखिक रूप से श्रेणीबद्ध किए गए समूह संरचना पर विश्वास करना उत्तरार्द्ध में गणितीय समूह को संदर्भित करता है।

शास्त्रीय तर्क में, त्रिगुनात्मकता का यह स्वयंसिद्ध, वास्तविक संख्याओं के बीच सामान्य तुलना के लिए होता है और इसलिए पूर्णांक और तर्कसंगत संख्याओं के बीच तुलना के लिए भी इसका प्रयोग किया जाता है। त्रिभाजन नियम सामान्य रूप से अंतर्ज्ञानवादी तर्क में नहीं है।

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

यह भी देखें

 * बेग्रिफस्च्रिफ्टमें ट्राइकोटॉमी के कानून का एक प्रारंभिक सूत्रीकरण होता है
 * द्विभाजन
 * नॉनकंट्रैडिक्शन का नियम
 * बाहर के बीच का कानून
 * तीन-तरफ़ा तुलना