real line (English, noun)
expansion: real line (plural real lines)
Senses:
topics: mathematics
sciences
glosses: The real number system, viewed as a line.
Forms:
form: real lines
tags: plural