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

गणित में, ट्राइकोटॉमी का नियम बताता है कि प्रत्येक वास्तविक संख्या या तो धनात्मक,ऋणात्मक या शून्य होती है। सामान्यत, एक समुच्चय पर एक द्विआधारी संबंध आर 'त्रिभाजनीय' है अगर सभी 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  ] ) \,.$$

गुण

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

उदाहरण   एक ही सेट पर, चक्रीय संबंध r = {(a, b), (b, c), (c, a)} ट्राइकोटोमस है, लेकिन सकर्मक नहीं है;यह अविश्वास भी है।

 * समुच्चय 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 को शून्य होने के लिए ठीक करते हैं, वास्तविक संख्या के एडिटिव रैखिक रूप से ऑर्डर किए गए समूह संरचना पर भरोसा करना।उत्तरार्द्ध एक समूह (गणित) है जो एक ट्राइकोटोमस ऑर्डर से लैस है।

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

यह भी देखें

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