Canvis

El signe pot definir-se sempre que puga definir-se la noció de *positividad o conjunt de números positius ''P'' que satisfà les següents condicions:

El signe pot definir-se sempre que puga definir-se la noció de *positividad o conjunt de números positius ''P'' que satisfà les següents condicions:

# Donats dos números ''a'' i ''b'' que perteneixen a ''P'', llavors ''a'' + ''b'' perteneixen a ''P''.

# Donats dos números ''a'' i ''b'' que pertanyena ''P'', llavors ''a'' + ''b'' pertanyena ''P''.

# Donats dos números ''a'' i ''b'' que perteneixen a ''P'', llavors ''a'' · ''b'' perteneixen a ''P''.

# Donats dos números ''a'' i ''b'' que pertanyena ''P'', llavors ''a'' · ''b'' pertanyena ''P''.

# Si <math>\scriptstyle c\in P</math> a soles una de les següents proposicions és vàlida:

# Si <math>\scriptstyle c\in P</math> a soles una de les següents proposicions és vàlida:

::<math>c\in P,\qquad c = 0, \qquad -c\in P</math>  

::<math>c\in P,\qquad c = 0, \qquad -c\in P</math>