Positivity Is Redundant

Sometimes people declare redundant axioms. Positivity is one of them.

Advertisements