A total order (or "totally ordered set," or "linearly ordered set") is a set plus a relation on the set (called a total order) that satisfies the conditions for a partial order plus an additional condition known as the comparability condition. A relation  is a total order on a set  (" totally orders ") if the following properties hold.

1. Reflexivity:  for all .

2. Antisymmetry:  and  implies .

3. Transitivity:  and  implies .

4. Comparability (trichotomy law): For any , either  or .

The first three are the axioms of a partial order, while addition of the trichotomy law defines a total order.

Every finite totally ordered set is well ordered. Any two totally ordered sets with  elements (for  a nonnegative integer) are order isomorphic, and therefore have the same order type (which is also an ordinal number).

REFERENCES:

Séroul, R. Programming for Mathematicians. Berlin: Springer-Verlag, p. 23, 2000.

اخر الاخبار

اخبار العتبة العباسية المقدسة

قسم التطوير يقيم دورة عن أخلاقيات المهنة للمنتسبين الجدد

تتضمن زيارة المراقد المقدسة في كربلاء.. معهد القرآن الكريم النسوي ينظم سفرة دينية لطالباته

المجمع العلمي يحتفي بذكرى ولادة الإمامين الباقر والهادي (عليهما السلام)

قسم الشؤون الفكرية يطلق فعاليات الأسبوع الثالث من برنامج البذرة الصالحة

المزيد

الآخبار الصحية

ثورة طبية.. الذكاء الاصطناعي يكشف سرطان الكلى في وقت قياسي

لتعزيز الطاقة والتغلب على التعب.. عليك بـ7 طرق بسيطة

لتحسين الهضم والتحكم في الشهية.. ما أفضل وقت لتناول التمر؟

خبراء يكشفون تأثير الاستحمام في الظلام على جودة النوم !

المزيد

الآخبار التكنلوجية

إزالة ثاني أكسيد الكربون من الغلاف الجوي.. ما دور المحيطات والبحار؟

نظائر الهيليوم مقياس لاكتشاف رواسب الذهب.. كيف ذلك؟

الصين تطلق أول ناقلة نفط خام ذكية في العالم تعمل بالميثانول

الزمن على المريخ أسرع من الأرض.. دراسة علمية تكشف الفوارق

المزيد