valuated field

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