Definition:Total Ordering Defined by Strict Positivity Property