An ordered field is Euclidean if every non-negative element () is a square in (there exists such that ).
A Euclidean field is an ordered Pythagorean field.
There are ordered fields that are Pythagorean but not Euclidean.