Discrete Semi-Ordered Linear Spaces
Israel Halperin, Hidegorô Nakano · Canadian Journal of Mathematics · 1951
Let R be a semi-ordered linear space, that is, a vector lattice in Birkhoff's terminology [2]. An element a ∈ R is said to be discrete, if for every element x ∈ R such that there exists a real number a for which x = aa. For every pair of discrete elements a, b ∈ R we have or there exists a real number a for which b = aa or a = ab.