Is there a named axiom for this?

[1MileCrash]

"The absolute difference between any two naturals/rationals/reals/complex; is also a natural/rational/real/complex."

This should be fairly intuitive but I was wondering if there was a name for this.

 

[jedishrfu]

"The absolute difference between any two naturals/rationals/reals/complex; is also a natural/rational/real/complex."

This should be fairly intuitive but I was wondering if there was a name for this.

In abstract algebra, they define an operation of addition and define inverses with the statement that adding any two elements produces another element in the ring. These are considered the axioms of the ring.

http://en.wikipedia.org/wiki/Ring_(mathematics )

I think its called the closure axiom.

http://en.wikipedia.org/wiki/Axiom_of_closure

 

[1MileCrash]

Thank you.