יהי אזי לכל n 2 מתקיים :

                         

כל אחת מהקבוצות הבאות תקרא קטע מוכלל - בד"כ נאמר סתם קטע :

קטע פתוח מוגדר ע"י :                                  ונסמן אותו בעזרת - (a,b)

קטע סגור מוגדר ע"י:                                    ונסמן אותו בעזרת - [a,b]

קטע חצי פתוח חצי סגור מוגדר ע"י :            ונסמן אותו בעזרת - [a,b)

                                                                   ונסמן אותו בעזרת - (a,b]

                                                                 ונסמן אותו בעזרת - (,a]

                                                             ונסמן אותו בעזרת - (b,)

                                                             ונסמן אותו בעזרת - (,)    

                                                       זהו בעצם כל

יהי קטע ב -

לכל x₁ ו - x₂ בקטע אם x₁ < x₂

אזי כל x₃ המקיים x₁ < x₃ < x₂ גורר ש - x₃ גם בקטע