域是環(huán)的一種特例：
域是 1)關(guān)于乘法交換;2)存在乘法單位元1(1≠加法單位元0);3)所有非零元有乘法逆元 的環(huán).
或者這樣解釋,環(huán)(R,+,*)如果是一個(gè)域,那么(R\{0},*)構(gòu)成一個(gè)交換群,(R,*)構(gòu)成一個(gè)含幺半群；
或者這樣解釋,環(huán)(R,+,*)如果是一個(gè)域,(R,*)構(gòu)成一個(gè)含幺半群(可推出1≠0,所以幺元1∈R\{0}),且R\{0}中每個(gè)元素關(guān)于*在R\{0}中存在逆元
或者一言蔽之：域是交換性除環(huán).
具體為什么不妨比照環(huán)與域的定義~