位数が素数である体

自分自身以外に部分体を持たない

任意の体は、唯一つだけ素体を含む

ある体に対して、素体が一つ決まる