# Is there a name for this “euclidean” set of real numbers?

Let $E$ be the smallest set of real numbers such that:

(1) $1\in E$,

(2) $x \in E \implies x/n\in E$ $\;$($n=1,2, \;...\;$),

(3) $x,y \in E \implies |x-y| \in E$,

(4) $x,y \in E \implies \sqrt{x^2+y^2} \in E$.

The idea is that $E$ is the set of distances generated by euclidean straight-edge and compass constructions from a unit segment.

-
The set of distances generated by euclidean straight-edge and compass constructions from a unit segment contains all rational numbers but the properties you gave do not imply that. – lhf Dec 11 '12 at 10:47
Corrected now (I hope!). – John Bentin Dec 11 '12 at 11:41