24.3 Inequality Solution Membership

Inequality Solution Membership is the concept of determining whether a specific numerical value belongs to the collection of values that make an inequality a true statement, extending the idea of a solution beyond the single value typical of an equation to a potentially unlimited set of qualifying values.

Candidate Value Substitution is the action of placing a specific numerical value in for the variable within an inequality, exactly as Isolated Value Substitution does for an equation, in order to test whether that particular value satisfies the inequality being examined.

True Inequality under a Candidate Value describes the outcome when Candidate Value Substitution produces a statement that accurately reflects the comparison expressed by the inequality's symbol, such as a genuinely larger quantity appearing on the side the symbol indicates should be larger. This outcome confirms that the tested value belongs to the inequality's solution set.

False Inequality under a Candidate Value describes the opposite outcome, in which Candidate Value Substitution produces a statement that misrepresents the true relationship between the two resulting numbers, such as the symbol indicating one side should be larger when in fact it is smaller or equal. This outcome confirms that the tested value does not belong to the inequality's solution set.

Candidate Value Inclusion Decision is the direct consequence of the two possible outcomes above: a value producing True Inequality under a Candidate Value is included as a member of the solution set, while a value producing False Inequality under a Candidate Value is excluded from it. This decision, repeated conceptually across every possible numerical value, defines the entire solution set of the inequality.

Inequality Nonmembership is the formal recognition that a specific tested value does not satisfy the inequality, corresponding directly to the False Inequality under a Candidate Value outcome, and confirming that this value must not be included in any description or notation of the inequality's solution set.

Boundary Value Membership Test addresses the special case of testing the exact numerical value that separates the values satisfying the inequality from the values that do not, determining whether this boundary value itself belongs to the solution set. This test is decisive for distinguishing an inequality governed by Strict Comparison, whose boundary value is excluded, from one governed by Inclusive Comparison, whose boundary value is included, since substituting this specific value produces a statement of exact equality rather than strict inequality.

Multiple Values in One Solution Set is the recognition, fundamental to the entire concept of inequality solving, that unlike a typical linear equation with a Singleton Solution Set Notation, an inequality is ordinarily satisfied by more than one value, often by infinitely many values extending without bound in one direction from the boundary value. This recognition establishes the need for the specialized notations and graphical representations developed to describe such extensive solution sets, since no finite list of individually tested values could adequately communicate the full collection of numbers that satisfy a typical inequality.