1.3 Elementary Algebra Real Number Definitions

Elementary Algebra Real Number Definitions establishes the hierarchy of number sets that algebraic variables and constants are permitted to represent, along with the structural properties—ordering, position, and membership—that make those numbers usable within algebraic reasoning. Every algebraic statement implicitly assumes its symbols draw values from one of these number sets, so precise definitions of each set, and the relationships among them, are foundational to interpreting algebra correctly.

Natural Numbers and Whole Numbers

The natural numbers are the counting numbers, 1, 2, 3, 4, and so on, used to represent quantities of discrete, countable objects. The whole numbers extend the natural numbers by including 0, giving the set 0, 1, 2, 3, 4, and so on. Every natural number is therefore also a whole number, but 0 itself is a whole number that is not a natural number under this convention.

Integers

The integers extend the whole numbers by including their negative counterparts, forming the set consisting of all whole numbers together with −1, −2, −3, and so on. Integers allow algebra to represent quantities below a reference point, such as debts, temperatures below zero, or positions to the left of an origin, which whole numbers alone cannot express.

Rational and Irrational Numbers

A rational number is any number that can be expressed as a ratio of two integers, a fraction of the form a divided by b, where b is not zero. This includes all integers themselves, since any integer n can be written as n divided by 1, as well as terminating and repeating decimals. An irrational number, by contrast, cannot be expressed as a ratio of two integers; its decimal expansion neither terminates nor repeats. Numbers such as the square root of 2 and pi are irrational.

Real Numbers

The real numbers form the union of the rational and irrational numbers—every number that can be located at a single position on an unbroken number line belongs to the real numbers. In elementary algebra, unless otherwise restricted, variables are generally assumed to represent real numbers, making this set the default domain over which algebraic expressions and equations are evaluated.

Number Sets, Membership, and Subsets

A number set is any well-defined collection of numbers sharing a common defining property, such as the set of all integers or the set of all rational numbers. Set membership describes whether a specific number belongs to a given set, commonly written using the symbol ∈; for example, 3 ∈ ℤ indicates that 3 is a member of the integers. A subset relationship exists between two sets when every member of one set is also a member of the other; the natural numbers form a subset of the whole numbers, which in turn form a subset of the integers, which form a subset of the rational numbers, which form a subset of the real numbers.

The Number Line

The number line is a visual and conceptual model representing all real numbers as points along a single continuous, ordered line. Each point on the line corresponds to exactly one real number, and each real number corresponds to exactly one point, establishing a one-to-one correspondence between numbers and spatial positions.

Coordinates, Origin, and Opposite Numbers

The coordinate of a point on the number line is the real number it represents. The origin is the fixed reference point on the number line corresponding to the number 0, from which all positions and distances are measured. Opposite numbers, also called additive inverses, are two numbers positioned at equal distances from the origin but on opposite sides of it, such as 5 and −5; their sum is always 0.

Real Number Order

Real number order is the relation that determines, for any two distinct real numbers, which one is positioned farther to the right on the number line and is therefore considered greater. This ordering underlies the meaning of the inequality symbols and allows algebraic statements to express not just equality but relative magnitude between quantities.

Consecutive Integers

Consecutive integers are integers that follow one another in sequence with no integers between them, differing by exactly 1, such as 4, 5, and 6. This concept is frequently used in algebraic word problems that describe relationships among a sequence of whole-number quantities, where each subsequent integer is represented algebraically as the previous one plus 1.

Together, these definitions establish the complete numerical foundation of elementary algebra: a nested hierarchy of number sets culminating in the real numbers, ordered and positioned along the number line, with well-defined notions of membership, subset relationships, and the special positional concepts—origin, coordinate, and opposite—needed to reason about magnitude and order.