The real line is a vector space over the field R of real numbers (that is, over itself) of dimension 1.
Garis bilangan real adalah suatu ruang vektor atas bidang R dari bilangan real (yaitu, atas dirinya sendiri) dari dimensi 1.