Addition and multiplication

Addition of natural numbers

Multiplication of natural numbers

Integers

Subtraction of natural numbers

Integers

Ordering of the integers

Functions of integers

Cardinality of the integers

Rational numbers

Division

Rationals

Ordering of the rationals

Functions of rational numbers

Cardinality of the rationals

Fraction identities

Partial fraction decomposition