順序の定義

$n$ 回合成流でいくと，$m\leqq n$ という関係は，$m$ を有限回 $\sigma$ で写すと $n$ に一致すること，すなわち $$\begin{array}{r}\exists l\in \mathbf{N}{\sigma }^l(m)=n\text{i.e.,}m+l=n\end{array}$$ です．