The unique set of values that yield a true statement when substituted for the variables in an equation.