(i) | $1_R$ is a D577: Multiplicative identity in $R$ |
Let $W$ be an D1963: Ordered vector space over $R$ such that
(i) | $\preceq$ is the D378: Ordering relation on $W$ |
(i) | $1_R$ is a D577: Multiplicative identity in $R$ |
(i) | $\preceq$ is the D378: Ordering relation on $W$ |