Ett uttryck är i matematik meningsfull sammanställning av tecken^[1], det vill säga tecken ordnade så att de går att tolka matematiskt. Ofta avses symboler för tal och variabler samt tecken för räkneoperationer^[1], vilket gör att , och är uttryck, medan inte räknas som uttryck (då likhetstecknet inte är en räkneoperator). Även exempelvis räknas som ett uttryck då det går att tolka matematiskt, även om dess värde är odefinierat.

Det råder dock olika uppfattningar om huruvida ekvationer eller olikheter som exempelvis räknas som uttryck. Om man betraktar ekvationen/olikheten som ett påstående har det antingen värdet sant eller falskt, beroende på vilka värden ingående variabler har – vilket på många sätt stämmer med hur matematiska uttryck beter sig. (Man bör dock hålla isär påståenden i form av ekvationer/olikheter och andra användningar av likhetstecknet, exempelvis för definitioner eller beskrivning av identiteter.)

Att förenkla ett uttryck avser att med hjälp av räknelagar och räkneregler skriva om ett uttyck så att det, för något givet sammanhang, blir lättare att läsa eller använda^[1]. Vad som är ett förenklat uttryck kan alltså variera beroende på sammanhang – i vissa lägen kan exempelvis vara den enklaste formen att skriva ett uttryck på, medan det i andra sammanhang blir mer förenklat att skriva .