>>169
部分体とは、体Lの部分集合KがLと同じ演算で体をなすとき
KはLの部分体であると定義しています。