Поиск в словарях
Completely valuated field
вполне нормированное поле