Definition:Stipulative Definition

Definition
A stipulative definition is a definition which defines how to interpret the meaning of a symbol.

It stipulates, or lays down, the meaning of a symbol in terms of previously defined symbols or concepts.

The symbol used for a stipulative definition is:
 * $\text {(the symbol being defined)} := \text {(the meaning of that symbol)}$

This can be written the other way round:
 * $\text {(a concept being assigned a symbol)} =: \text {(the symbol for it)}$

when it is necessary to emphasise that the symbol has been crafted to abbreviate the notation for the concept.

Also denoted as
An alternative technique for introducing a stipulative definition is:
 * $\text {(the symbol being defined)} \ \stackrel {\mathbf {def}} {=\!=} \ \text {(the meaning of that symbol)}$

... although this latter construct is deprecated through being old-fashioned and awkward to reproduce.

Also see

 * Definition
 * Ostensive Definition