This is from Lang's "A First Couse in Calculus".
In chapter 1 he makes two statements regarding positivity:
POS 1. If ##a##, ##b## are positive, so is the product ##ab## and the sum ##a+b##.
POS 2. If ##a## is a number, then either ##a## is positive, or ##a=0##, or ##-a## is positive, and...