valued field

Мат. нормированное поле