Definition talk:Strictly Positive

From ProofWiki
Jump to navigation Jump to search

I may be being fussy here, but: "$x \in R$ is strictly positive iff $0_R \le x$ and $x \ne 0_R$" is in this context "safer" than "$0_R < x$ or $x > 0_R$", because in the context of an Definition:Ordered Ring, we have not strictly speaking defined $<$ or $>$.

In the field of numbers, it is taken for granted what $<$ and $>$ mean etc. etc. but in the axiomatic foundations we might have to be more careful.

As I say, I may be worrying unnecessarily. Feel free to comment. --prime mover 03:03, 3 December 2011 (CST)

That's why I left it in place in the actual definition, and only after that said that there is also more convenient notation. That's what it is: notation. I have adapted the precise wording a bit as to make this more clear. --Lord_Farin 03:25, 3 December 2011 (CST)