Real number (source code)

= Real number
{title2=$\mathbb R$}
{wiki}

A real number is an element of the complete ordered field $\mathbb R$.