За означенням, якщо <, то mq<pn. Тоді pn>mq, тобто >. Що й треба було довести.
Теорема: для будь-яких невід’ємних раціональних чисел а, b, с, якщо (а<bÙb<c),то a<c.
Символічно ця теорема запишеться так: ("а,b,сєQ0)[(а<bÙb<c)→(a<c)].
Розглянемо невід’ємні раціональні числа такі, що . Тоді маємо: →pk<nq<qm<kr→pm<nr→<→a<c. Що й треба було довести.
Доведені теореми виражають відповідно властивості асиметричності та транзитивності. Таким чином, можна стверджувати, що відношення «менше» («більше») на множині невід’ємних раціональних чисел має властивості антирефлексивності, асиметричності та транзитивності, а тому воно є відношенням строгого порядку.