付値体
付値体(ふちたい、)とは、乗法付値により得られる距離に対する距離空間の位相が入った位相体のことを付値体という。体 "K" の乗法付値 formula_1 で付値体になるとき、formula_2 と表す。
付値体 formula_2 に対して、乗法付値 formula_1 がアルキメデス付値であるとき、アルキメデス付値体、非アルキメデス付値のとき、非アルキメデス付値体という。
付値体の位相体としての性質は、項目位相体を参照のこと。