3.3.3 拡大体

二つの体$k,K$が集合として包含関係 $k\subset K$があり、$K$で定義されている演算と$k$に定義されている演算が同じとき（つまり、$k$に定義されている演算が、$K$で定義されている演算を$k$に制限したものあるとき）、$K$は$k$の拡大体（field extention）であるといい、$k$は$K$の部分体（subfield）であるといいます。