Regarding the set of Real Numbers:
Did you notice that the Commutative and Associative Properties of Real Numbers have specifications
stating "of addition" or "of multiplication"?
So what happens with the operations of "subtraction" or "division"?
|
There are difficulties with "subtraction" and "division".
|
 |
Subtraction: |
5 - 2 ≠ 2 - 5 [3 ≠ -3] |
Not Commutative. |
|
7 - (4 - 3) ≠ (7 - 4) - 3 [6 ≠ 0]
|
Not Associative. |
|
|
|
Division: |
 [5 ≠ 1/5] |
Not Commutative. |
|
 [20 ≠ 5] |
Not Associative. |
Subtraction and division create situations that are not commutative nor associative.
The Closure Property of Real Numbers also has specifications stating "of addition" or "of multiplication". Does this mean that there are difficulties with closure of the real numbers under "subtraction" and "division"?
Not quite!
Subtraction: |
9 - 4 = 5; |
17 - 20 = -3 |
Subtracting two real numbers (which is really adding its opposite) creates another real number. Real numbers are closed under subtraction. |
|
; |
3.5 - 0.8 = 2.7 |
|
|
|
Division: |
20 ÷ 5 = 4; |
1.5 ÷ 3 = 0.5 |
The division of nearly all real values will produce another real number. BUT, because division by zero is undefined (not a real number), the real numbers are NOT closed under division. |
|
;
|
|
BUT 3 ÷ 0 = undefined |
Note: Some textbooks state that " the real numbers are closed under non-zero division" which, of course, is true. This statement, however, is not equivalent to the general statement that "the real numbers are closed under division". Always read carefully!

If we examine some of the subsets of the Real Numbers as independent sets, we run into some interesting situations regarding subtraction and division. Let's see what does, and does NOT, work with the set of counting numbers, the set of integers, and the set of rationals:
|
The set of Counting Numbers (Natural Numbers) {1, 2, 3, 4, ... }
|
Commutative (subtraction) |
Nope! |
5 - 3 ≠ 3 - 5 |
Commutative (division) |
Nope! |
10 ÷ 2 ≠ 2 ÷ 10 |
Associative (subtraction) |
Nope! |
2 - (5 - 6) ≠ (2 - 5) - 6 |
Associative (division) |
Nope! |
6 ÷ (3 ÷ 2) ≠ (6 ÷ 3) ÷ 2 |
Closure (subtraction) |
Nope! |
4 - 7 = -3 (no negative counting numbers) |
|
Closure (division) |
Nope! |
4 ÷ 8 = ½ (no fractions in counting numbers) |
|
The set of Integers {..., -3, -2, -1, 0, 1, 2, 3, ... }
|
Commutative (subtraction) |
Nope! |
(-4) - 3 ≠ 3 - (-4) |
Commutative (division) |
Nope! |
9 ÷ (-3) ≠ (-3) ÷ 9 |
Associative (subtraction) |
Nope! |
3 - (4 - (-5)) ≠ (3 - 4) - (-5) |
Associative (division) |
Nope! |
-6 ÷ (3 ÷ 2) ≠ (-6 ÷ 3) ÷ 2 |
Closure (subtraction) |
Good! |
-8 - (-3) = -5 |
|
Closure (division) |
Nope! |
4 ÷ 8 = ½ (no fractions in the integers)
Also, division by zero is a problem. |
|
The set of Rationals (a number that can be expressed as p/q, integers p,q, q≠0) |
Commutative (subtraction) |
Nope! |
5½ - 3 ≠ 3 - 5½ |
Commutative (division) |
Nope! |
10 ÷ 2 ≠ 2 ÷ 10 |
Associative (subtraction) |
Nope! |
2½ - (5 - 6) ≠ (2½ - 5) - 6 |
Associative (division) |
Nope! |
6 ÷ (3 ÷ 2) ≠ (6 ÷ 3) ÷ 2 |
|
Closure (subtraction) |
Good! |
8/3 - 4/1 = -4/3 |
|
Closure (division) |
Nope! |
5 ÷ 0 = undefined (not a rational number) |
|
|
Remember: 0 itself is a rational number (0 = 0/1).
So 5 ÷ 0 is a "rational being divided by a rational".
But the result violates the definition of rational form [ p/q where q ≠ 0 ]. |
|