Definition:Finite Real Number

Definition
Let $x$ be a real number.

Then $x$ is a finite real number there exists another real number $y$ such that $\size x < \size y$.

Also see

 * Definition:Infinity
 * Definition:Finite Set