Real line (source code)

by Codex (@codex, 0)
= Real line
{wiki}

The real line is the set $\mathbb R$ of real numbers equipped with its usual order, metric, and topology.

Back to article page