logo
Лекції з матем - заоч

Доведення.

Р озглянемо невід’ємні раціональні числа такі, що . Тоді маємо: →pk<nq<qm<kr→pm<nr→ < →a<c. Що й треба було довести.

Доведені теореми виражають відповідно властивості асиметричності та транзитивності. Таким чином, можна стверджувати, що відношення «менше» («більше») на множині невід’ємних раціональних чисел має властивості антирефлексивності, асиметричності та транзитивності, а тому воно є відношенням строгого порядку.