2.5 Equality and Relation Notation

Equality and Relation Notation is the collected set of symbols used to compare two expressions within an algebraic statement, spanning exact equality, ordered comparison, inequality of value, approximate agreement, and the specific conventions for chaining several such comparisons together or reading them in a defined direction.

Equality Symbol Usage

Equality symbol usage places the equals sign (=) between two expressions to assert that they represent exactly the same value, as in 3x + 2 = 11. The equality symbol is the most fundamental relation symbol in algebra, converting any two side-by-side expressions into a single statement capable of being judged true or false.

Inequality Symbol Usage

Inequality symbol usage places one of the ordering symbols <, >, ≤, or ≥ between two expressions to assert a specific ordering relationship rather than exact equality, such as x + 3 < 10 asserting that the left expression's value is strictly less than the right expression's value. These four symbols distinguish strict ordering (< and >) from inclusive ordering (≤ and ≥), determining whether the boundary value itself satisfies the relation.

Not-Equal Symbol Usage

Not-equal symbol usage places the symbol ≠ between two expressions to assert that they do not represent the same value, as in x ≠ 5, typically used to state an excluded value or a restriction on a variable's domain rather than to describe a general ordering relationship. The not-equal symbol conveys strictly less information than an inequality symbol, since it rules out only one specific relationship (equality) without specifying which of the two remaining possibilities (greater or less) actually holds.

Approximate Equality Notation

Approximate equality notation places the symbol ≈ between two expressions to assert that they are close in value without being asserted as exactly equal, as in π ≈ 3.14, typically used when one side has been rounded or estimated. This notation signals to the reader that any calculation relying on the approximated value carries a small, generally acceptable, degree of imprecision rather than representing the exact underlying value.

Equation and Identity Notation

Equation and identity notation both use the equals sign, but the surrounding context determines which type of statement is intended: an equation notation presents a statement true only for specific solution values of its variable, while identity notation presents a statement understood to be true for every value the variable may take. Although both share identical symbolic form, x + x = 2x is conventionally understood as identity notation, while x + 3 = 7 is conventionally understood as equation notation, with the distinction carried by the surrounding mathematical context rather than by any visible difference in the equals sign itself.

Expression Definition Notation

Expression definition notation uses the equals sign, or sometimes the symbol :=, to assign a name or label to an expression for later reference, as in "let y = 2x + 3" or "define f(x) := 2x + 3." Unlike ordinary equation notation, expression definition notation is not asserting a condition to be solved, but rather establishing a fixed correspondence that will be used consistently throughout the remainder of a discussion.

Chained Relation Notation

Chained relation notation combines two relation symbols into a single continuous statement comparing three expressions at once, such as 2 < x < 7, asserting simultaneously that x is greater than 2 and less than 7. Chained relation notation is valid only when every individual relation within the chain points in a mutually consistent direction, since a chain mixing directions, such as 2 < x > 7, would not correspond to a single coherent ordering and is not standard notation.

Relation Direction and Reading

Relation direction and reading describes the convention that a relation symbol can be read in either direction without changing its meaning, provided the symbol itself is reversed to match: stating a < b is equivalent to stating b > a, since both describe the identical ordering relationship from opposite starting points. Understanding this reversibility allows a relation to be read comfortably from either side, which is particularly useful when isolating a variable that happens to end up on the right-hand side of an inequality during solving.

Together, these notational conventions establish the complete symbolic toolkit for comparing expressions in elementary algebra, ranging from exact equality and strict or inclusive ordering to approximate agreement, definitional assignment, and the rules governing how multiple relations may be chained together or read in reverse without altering their underlying meaning.