Показано, що необмеженість підпослідовності непарних чисел не контраргумент порушення гіпотези Коллатца, а універсальна характеристика перетворень натуральних чисел за алгоритмом 3n+1. Встановлений рекурентний зв’язок між параметрами послідовності Коллатца перетворень довільної пари натуральних чисел n і 2n .
Досліджено наявні засоби впорядкувань й впорядковувань в деяких важливих розділах дискретної математики та інформатики, а саме: в теорії множин, класичній математичній логіці, теорії доведень (доказів), теорії графів, методі Поста, системі алгоритмічних алгебр, алгоритмічних мовах об'єктного і асемблерного програмування. Наведено декартів добуток множин, впорядковані пари і впорядковані n-ки, опис засобами теорії множин впорядкованої пари, які виконані Вінером, Хаусдорфом і Куратовським. Описано вимоги до відношень, якими впорядковуються множини.