Integers
Consecutive Integers
(1) | Addition and Subtraction of Integers
(18) | Absolute Value of an Integer
(6) | Successor and Predecessor of an Integer
(4) | Additive Inverse
(2) | Multiplication of Integers
(5) | Division of Integers
(2) | Comparison of Integers
(1) | Ordering of Integers
(1)