Definition: Subtraction of Integers 

The subtraction of integers, written \(x-y\), is defined as the addition of the first integer \(x\) with the inverse of the second integer with respect to addition \((-y)\), formally
\[x-y=[a,b]-[c,d]:=[a,b]+[d,c]=[a+d,b+c]=x+(-y).\]

| | | | | created: 2016-01-02 09:26:03 | modified: 2019-04-17 05:38:48 | by: bookofproofs | references: [696]