Fully ordered field

вполне упорядоченное поле