(可換)体は可換な可除環として定義される。