Mikor nevezünk két algebrai kifejezést azonosnak?

Minden algebrai kifejezéshez tartozik egy értelmezési tartomány is. Ha a két kifejezés értelmezési tartományainak közös részén a felvett értékek egyenlőek, beszélhetünk azonosságról. Például (xy-gyök(1-x^2)gyök(1-y^2))^2=1-(xgyök(1-y^2)+ygyök(1-x^2))^2. A bal és a jobb oldal értelmezési tartománya is: -1<=x,y<=1. Sz. Gy.