Definition:Strict Positivity Property

Definition
Let $\struct {D, +, \times, \le}$ be an ordered integral domain, where $\le$ is the ordering induced by the property $P$:

The property $P$ is called the positivity property.