(Z+)^n の順序型は ω^n
と言ってもクマーにはワカランだろうな