АЗН. Няхай и - два непадобныя ненулявыя аднасклады. Будзем гаварыць, што аднасклад больш высокі за аднасклад β і пазначаць , калі . Будзем гаварыць, што падобныя аднасклады маюць падобную велічыню (аднолькавую)
Прыклад:
СЦВ: Дачыненне “больш высокі за” з’яўл. дачыненнем лінейнага парадку на мностве , г.зн. што яно рэфлексіўнае, антысімметрычнае, транзітыўнае і два непадобныя ненулявыя аднасклады можна параўнаць.
►1. Рэфлексіўнасць ; 2. Антысімметрычнасць ( ) α падобны β; 3. Транзітыўнасць ( ) ; 4. Два непадобныя ненулявыя аднасклады можна параўнаць. Калі аднасклады непадобныя, тады есць літары, каторыя прысутнічаюць у гэтых аднаскладах у розных ступенях.◄
АЗН. Упарадкаванне паліномаў, пры каторым больш высокі аднасклад стаіць перад меньш высокім аднаскладам, наз. лексікаграфічным ўпарадкаваннем. Аднасклад палінома больш высокі за астатнія наз. найвышэйшым аднаскладам.
СЦВ: Няхай α больш высокi за аднасклад β, то .
►Няхай ;
0 ◄