что, вообще говоря, даёт нам возможность во-первых, устанавливать отношение порядка произвольным образом, а во-вторых (более приземлённо), учитывая неизбежную модульность конечноразрядной арифметики, делает выбор минимального значения и вовсе произвольным без какого-либо ущерба для мощности множества его значений