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)}$

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