Property: Euclidean field

Definition: An ordered field for which every positive element is the square of another element