= Real number {title2=$\R$} {wiki} = Real {synonym} A good definition is by using <Dedekind cuts>.
Back to article page