| (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$ |