Property: Archimedean field

Definition: an ordered field such that for every $x$ there exists an integer $n>x$.

(No citations retrieved.)

(No metaproperty information retrieved.)