设F是一个有单位元（不为0）的交换环，如果F的每个非零元都是可逆元，那么称F是一个（）。

设F是一个有单位元（不为0）的交换环，如果F的每个非零元都是可逆元，那么称F是一个（）。
A.函数
B.域
C.积
D.元
正确答案：B