אי שויונים בסדרות

 נתון a_n a ולכן לכל בפרט עבור 0 < =

קיים 'n₀ כך שלכל n n < 'n₀ מתקיים : >
                                                             
                                          + a_n < a >
                                                       
בפרט n > 'n₀ מתקיים (1)      > a_n

 נתון b_n b ולכן לכל בפרט עבור 0 < =

קיים ''n₀ כך שלכל n n < ''n₀ מתקיים : >
                                                             
                                          + b_n < b >
                                                                
   בפרט n > ''n₀ מתקיים       (2)        b_n >

נסמן ( n₀ = Max(''n₀,'n₀ עבור n > n₀ מתקיימים (1) ו - (2)

מטרנזיטיביות יחס הסדר נקבל : a_n < < b_n
                                                     n > 'n₀       a_n < b_n