expressions that give the same result when the same values are substituted for the variables