In a programming language, an expression that specifies one operation and identifies its operands, if any.