>>794
なんで順序に拘るの？
体の定義は、普通、順序を含めないよ。
正標数の対象ばかりか標数0でも、p-adicなものも落ちてしまう。