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

(mathematics) The bijective numeration of digits 1 through k inclusive that uses position in powers of k to encode an integer's expansion.

(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.

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.