The replacement of an expression with an expression of equal value. If a=b then a can be replaced with b in any expression or equation.