Bi adierazpen aljebraikok edo bi kopuruk balio desberdinak dituztela adierazten duen adierazpen matematikoa.