We do not currently know of any antonyms for real number lines.
The noun real number lines is defined as: