subfield

《代数学引论》 · 第 47 页

如果域 $F$ 的一个子环 $S$ 是一个域，则称 $S$ 是 $F$ 的一个子域。

由 admin 提交

《The foundations of geometry》 · 第 75 页 · Chapter 4「The Category of Rings」，Exercise 4.9

A subfield of a field is a subring which is a field.