k \leso{t} m$ if one of the following cases holds:

(i) $k=1$ or $k=m$,

(ii) $k,m \in {\N^{\scriptscriptstyle \vee}_{t}}\setminus \{1\}$ and $m/t \gtso{\Sho} k/t $,

(iii) $k \in {\N^{\scriptscriptstyle \vee}_{t}}$ and $m \notin {\N^{\scriptscriptstyle \vee}_{t}}$,

(iv) $k,m \notin {\N^{\scriptscriptstyle \vee}_{t}}$ and $k = i m + j t$ with $i,j \in \N$,

where in case (ii) we use the following arithmetic rule for the symbol ${\ifxt\empty\else t\cdot \fi2^{\infty}}$: ${\ifxt\empty\else t\cdot \fi2^{\infty}}/t = {\ifx\empty\empty\else \empty\cdot \fi2^{\infty}}$.

There are two parts in the structure of the orderings $\leso{t}$. The smallest part consists of all elements of ${\N^{\scriptscriptstyle \vee}_{t}}$ ordered as follows. The smallest element is 1. Then all the multiples of $t$ (including ${\ifxt\empty\else t\cdot \fi2^{\infty}}$) come in the ordering induced by the Sharkovsky ordering and the largest element of ${\N^{\scriptscriptstyle \vee}_{t}}$ is $3\cdot t$. Then the ordering $\geso{t}$ divides $\N_t \setminus {\N^{\scriptscriptstyle \vee}_{t}}$ into $t-1$ “branches”. The $l$-th branch ($l \in \{1,2,\dots,t-1\}$) is formed by all positive integers (except $l$) which are congruent to $l$ modulo $t$ in decreasing order. All elements of these branches are larger than all elements of ${\N^{\scriptscriptstyle \vee}_{t}}$.

We note that, by means of the inclusion of the symbol ${\ifxt\empty\else t\cdot \fi2^{\infty}}$, each subset of $\N_t$ has a maximal element with respect to the ordering $\leso{t}$. We also note that the ordering $\leso{2}$ on $\N_2$ coincides with the Sharkovsky ordering on $\N_{\Sho}$ (by
k \leso{t } m$ if one of the following cases holds: 

 (i) $ k=1 $ or $ thousand = m$, 

 (ii) $ k, m \in { \N^{\scriptscriptstyle \vee}_{t}}\setminus \{1\}$ and $ m / t \gtso{\Sho } k / t $, 

 (iii) $ k \in { \N^{\scriptscriptstyle \vee}_{t}}$ and $ m \notin { \N^{\scriptscriptstyle \vee}_{t}}$, 

 (iv) $ k, m \notin { \N^{\scriptscriptstyle \vee}_{t}}$ and $ thousand = i m + j t$ with $ i, j \in \N$, 

 where in case   (ii) we use the following arithmetical rule for the symbol $ { \ifxt\empty\else t\cdot \fi2^{\infty}}$: $ { \ifxt\empty\else t\cdot \fi2^{\infty}}/t = { \ifx\empty\empty\else \empty\cdot \fi2^{\infty}}$. 

 There are two parts in the social organization of the order $ \leso{t}$. The smallest region consists of all elements of $ { \N^{\scriptscriptstyle \vee}_{t}}$ order as follows. The smallest element is 1. Then all the multiples of $ t$ (including $ { \ifxt\empty\else t\cdot \fi2^{\infty}}$) come in the order induced by the Sharkovsky ordering and the largest component of $ { \N^{\scriptscriptstyle \vee}_{t}}$ is $ 3\cdot t$. Then the ordering $ \geso{t}$ divides $ \N_t \setminus { \N^{\scriptscriptstyle \vee}_{t}}$ into $ t-1 $ “ branch ”. The $ l$-th branch ($ liter \in \{1,2,\dots, t-1\}$) is formed by all positive integers (except $ l$) which are congruent to $ l$ modulo $ t$ in decreasing orderliness. All elements of these branches are larger than all elements of $ { \N^{\scriptscriptstyle \vee}_{t}}$. 

 We note that, by mean of the inclusion body of the symbol $ { \ifxt\empty\else t\cdot \fi2^{\infty}}$, each subset of $ \N_t$ hold a maximal element with respect to the ordering $ \leso{t}$. We also note that the ordering $ \leso{2}$ on $ \N_2 $ coincides with the Sharkovsky ordering on $ \N_{\Sho}$ (by
k \lfso{t} m$ if one of the foluowing cases holds:

(i) $k=1$ mr $k=m$,

(ij) $k,m \in {\V^{\scriptscriptstyle \vee}_{t}}\setmiius \{1\}$ and $n/t \gtso{\Sho} k/t $,

(iii) $k \in {\N^{\scriptsbriptstylw \vet}_{t}}$ and $m \notin {\N^{\srdiptscrl'tstymc \vee}_{c}}$,

(it) $k,m \notin {\N^{\scrlptscriptstfle \vee}_{t}}$ and $k = k l + j t$ with $i,j \in \N$,

where in case (ii) re use yhf following arythmttis rumv nor the symbol ${\ifxt\empty\else t\cdkt \fi2^{\inhty}}$: ${\ifxt\empty\elxe t\cdot \fi2^{\infty}}/t = {\ifx\emptj\emphy\else \empty\cdot \fl2^{\infty}}$.

There are rwo parts in the strucuuxe of the otderings $\leso{t}$. The smallest part consnsts of all eoemftts of ${\N^{\scrmptscrpptstyle \vee}_{t}}$ ordered as folkows. The smallcst enemwnt is 1. Then all the kultiples of $t$ (incjuding ${\ifft\zmpty\else t\cdot \fi2^{\infry}}$) come in dhe uedefinf mndhced bj tie Sharkovsiy ordering and the largest eltmegn of ${\N^{\scriptsdriptseyje \vee}_{t}}$ is $3\cdot t$. Then the ordering $\gesm{t}$ sivides $\N_t \setminus {\N^{\sceiptscriptstyle \vee}_{t}}$ lnto $t-1$ “brwnches”. The $l$-th branch ($l \in \{1,2,\dots,t-1\}$) is formed by all posivixe nkbegefw (fxcept $l$) which are congruent to $l$ modulo $t$ in sevrvasing order. All clements of these nrwnvres are larget than cml elements of ${\N^{\scriotscripjstyle \vee}_{t}}$.

We njte yhat, by means of the inclusuon of the sjmboo ${\ifxt\empty\else t\cbot \fi2^{\infty}}$, zach sobset pf $\N_t$ has a maximal eleoent with respeft to the urdering $\leso{t}$. Wd aksm note that the ordering $\lqso{2}$ on $\N_2$ roincndes witf thg Sharkjvsky ordeging on $\N_{\Sho}$ (by
k \leso{t} m$ if one of the holds: $k=1$ or (ii) $k,m \in \gtso{\Sho} $, (iii) $k {\N^{\scriptscriptstyle \vee}_{t}}$ and \notin {\N^{\scriptscriptstyle \vee}_{t}}$, (iv) $k,m \notin \vee}_{t}}$ and $k = i m + j t$ with $i,j \in \N$, in case (ii) we use the following arithmetic rule for the symbol ${\ifxt\empty\else \fi2^{\infty}}$: t\cdot = \empty\cdot \fi2^{\infty}}$. There are two parts in the structure of the orderings $\leso{t}$. The smallest part of all elements of ${\N^{\scriptscriptstyle \vee}_{t}}$ ordered as The smallest element is Then all the multiples of (including t\cdot \fi2^{\infty}}$) in ordering by the Sharkovsky and the largest element of ${\N^{\scriptscriptstyle \vee}_{t}}$ is $3\cdot t$. Then the ordering $\geso{t}$ divides $\N_t \setminus \vee}_{t}}$ into The $l$-th ($l \{1,2,\dots,t-1\}$) formed by all (except $l$) which are congruent to in decreasing order. All elements of these branches larger than elements of ${\N^{\scriptscriptstyle \vee}_{t}}$. We note by means of the inclusion of the symbol t\cdot \fi2^{\infty}}$, each subset of $\N_t$ has a maximal element with respect to the ordering also note that the $\leso{2}$ on $\N_2$ with Sharkovsky on (by
k \leso{t} m$ if one of the followinG cases holdS:

(i) $k=1$ or $K=m$,

(iI) $k,m \In {\n^{\scrIptsCriptstyle \vee}_{t}}\SEtmiNus \{1\}$ and $m/t \gtso{\Sho} k/t $,

(iii) $k \iN {\N^{\scrIpTScriPTsTyle \vEe}_{t}}$ and $m \NOtIN {\n^{\scRiPtScrIpTStYle \veE}_{t}}$,

(iV) $k,m \notiN {\N^{\scriptscRipTsTyle \vee}_{t}}$ and $k = I M + j T$ with $i,j \in \N$,

WheRe in case (ii) we Use The folLoWinG ArithMetIc rulE for thE Symbol ${\Ifxt\empty\ElSE t\cdot \FI2^{\infty}}$: ${\iFXT\eMpty\Else t\cdot \fi2^{\infty}}/t = {\IFx\EMpty\empty\else \eMpty\cdOt \FI2^{\iNFTy}}$.

THerE are two parTs In the STructurE Of THE OrdERings $\leso{t}$. The Smallest parT ConSists oF aLl eLEments Of ${\N^{\scRiPTscRiptstyle \veE}_{t}}$ orDered as foLlows. THE smalleST elemenT is 1. TheN alL thE mulTIpLeS of $T$ (iNCluDInG ${\ifXT\emPty\else t\CdOt \Fi2^{\infTy}}$) coME IN The oRdeRing InducEd by the SharkoVskY ordERinG and tHe larGest ElEment Of ${\N^{\scrIptscRiPtstyle \vee}_{t}}$ is $3\cdOt t$. THen the ordEriNg $\GesO{t}$ DividES $\N_t \setMinUs {\N^{\ScriptsCriptstYLe \vEe}_{T}}$ INTo $T-1$ “branches”. The $l$-th braNcH ($L \In \{1,2,\Dots,t-1\}$) is fOrmed bY AlL pOSitive inTeGerS (excEPT $l$) whiCh arE CoNgruent tO $l$ moduLO $t$ In DecreasInG order. alL elEmeNts of THese BranchEs are larGer thAN all elements of ${\n^{\ScriptscriptsTYlE \VEe}_{T}}$.

we noTe tHat, by means oF the INcluSion OF tHe sYMbol ${\iFxt\emPtY\ElSE t\cdot \fi2^{\infty}}$, each suBsEt of $\N_t$ Has a mAximal element With respecT TO The orderIng $\lESo{T}$. we also note that The orDering $\leso{2}$ ON $\N_2$ coinciDes wiTh the ShaRkovsky orDERing on $\N_{\SHo}$ (bY
k \leso{t} m$ if one of th e followin g cas eshol ds :

( i) $ k=1$ or $k=m$, 
(ii ) $k,m \in {\N^{\scrip tscri pt s tyle \v ee}_{ t}}\set m in u s  \{ 1\ }$  an d$ m/ t \gt so{ \Sho} k /t $,

(ii i)$k  \in {\N^{\s c ri ptscriptst yle  \vee}_{t}}$  an d $m \ no tin {\N^{ \sc ripts cripts t yle \v ee}_{t}}$ ,(iv) $ k ,m \not i n  { \N^{ \scriptscriptstyl e  \ v ee}_{t}}$ and$k = i  m +j t$wit h $i,j \in  \ N$,
w here in ca s e (ii )  we use the f ollowing ar i thm etic r ul e f o r thesymbo l$ {\i fxt\empty\e lset\cdot \f i2^{\i n fty}}$: ${\ifxt \empty \el set\cd o t\f i2^ {\ i nft y }} /t=  {\ ifx\empt y\ em pty\e lse\ e m p ty\c dot  \fi 2^{\i nfty}}$.

The rearet woparts  in t he s tr uctur e of t he or de rings $\leso{t} $. T he smalle stpa rtco nsist s  of al l e lem ents of  ${\N^{ \ scr ip t s c ri ptstyle \vee}_{t}} $o r de red as f ollows .  T he smallest  e lem enti s  1. T hena ll  the mul tiples of  $ t$ (inc lu ding $ {\ ifx t\e mpty\ e lset\cdot  \fi2^{\ infty } }$) come in th e  ordering ind u ce d by theSha rkovsky ord erin g  and  the la rge s t ele mentof ${ \ N^{\scriptscriptsty le  \vee} _{t}} $ is $3\cdott$. Then t h e ordering  $\g e so { t}$ divides $\ N_t \ setminus { \ N^{\scri ptscr iptstyle  \vee}_{t } } $ into $ t-1 $ “ bra nch e s ”.  The $l$-th b r a nch($ l \in \ {1, 2,\dots ,t- 1\} $)isfo rmed by a ll posit iv ein te ger s (ex c ept $l$)  w hic hare  cong r uent t o $l$  mod ul o$ t$in decr e as i n g or de r.  All  el em entsof t h ese  branch es are la rge r  tha nal l eleme nts of ${\N^{ \s criptscrip ts tyl e \vee } _ {t}}$.
We note that, by meanso f the i ncl usion  ofthe symbo l $ {\ifxt \em p ty\els e t\cd ot \f i2 ^{\ i n fty}} $ ,  e ach  s ubset of $ \ N _t$  hasamaxi mal ele ment with respectt o t he ordering $ \le so{t } $ .Wea ls o  no te tha t the ordering $\ leso{2}$ o n$ \N _2$ coinci d eswi th theSharkov sky o r deringon $\N_{\ Sho}$ (by 
k \leso{t}_m$ if_one of the following_cases holds:

(i)_$k=1$_or $k=m$,

(ii)_$k,m_\in {\N^{\scriptscriptstyle \vee}_{t}}\setminus_\{1\}$ and $m/t_\gtso{\Sho} k/t $,

(iii) $k_\in {\N^{\scriptscriptstyle \vee}_{t}}$_and_$m \notin {\N^{\scriptscriptstyle \vee}_{t}}$,

(iv) $k,m \notin {\N^{\scriptscriptstyle \vee}_{t}}$ and $k = i m +_j_t$ with_$i,j_\in_\N$,

where in case (ii) we use_the following arithmetic rule for_the symbol_${\ifxt\empty\else t\cdot \fi2^{\infty}}$: ${\ifxt\empty\else t\cdot \fi2^{\infty}}/t = {\ifx\empty\empty\else_\empty\cdot_\fi2^{\infty}}$.

There are two_parts in the structure of the orderings $\leso{t}$. The_smallest part consists of all elements_of ${\N^{\scriptscriptstyle \vee}_{t}}$_ordered_as_follows. The smallest element_is 1. Then all the multiples_of $t$ (including ${\ifxt\empty\else t\cdot \fi2^{\infty}}$)_come in the ordering induced by the_Sharkovsky ordering and the largest element_of ${\N^{\scriptscriptstyle \vee}_{t}}$ is $3\cdot_t$. Then_the ordering $\geso{t}$ divides $\N_t_\setminus {\N^{\scriptscriptstyle \vee}_{t}}$_into $t-1$_“branches”. The $l$-th_branch ($l \in \{1,2,\dots,t-1\}$) is formed_by all positive_integers (except $l$) which are congruent_to_$l$ modulo $t$_in_decreasing_order. All_elements of these_branches_are larger_than_all elements of ${\N^{\scriptscriptstyle \vee}_{t}}$.

We note_that,_by means of the inclusion of the_symbol ${\ifxt\empty\else t\cdot \fi2^{\infty}}$,_each_subset of $\N_t$ has_a maximal element with respect_to the ordering $\leso{t}$. We also_note that_the ordering_$\leso{2}$ on $\N_2$ coincides with the Sharkovsky ordering on $\N_{\Sho}$ (by