(set theory) A mathematical notation for describing a set by specifying the properties that its members must satisfy.

(arithmetic) an arithmetic notation in which numbers precede the operators to be applied to them.

A written representation for numbers consisting of a series of numeric signs whose values, added together, yield the number represented.

(mathematics) A certain syntax for terms in the lambda calculus.

(mathematics, computing theory) A particular notation which describes the limiting behavior of a function when the argument tends towards a particular value or infinity, usually in terms of simpler functions. Useful in the analysis of algorithms.