[2] 体たいfieldは、抽象代数における概念です。

[1] 可換環 F が体fieldであるとは:

• (∀a ∈ F) (∃1 ∈ F) a ・ 1 = 1 ・ a = a (単位元が存在)
• (∀a ∈ F (a ≠ 0)) (∃a−1 ∈ F) aa−1 = 1 (0] 以外の元の逆元が存在)