Urutan Leksikografis

If the component sets are ordered vector spaces over R (in particular just R), then the result is also an ordered vector space.