TOPICS
Search

Well-Defined


An expression is called "well-defined" (or "unambiguous") if its definition assigns it a unique interpretation or value. Otherwise, the expression is said to not be well-defined or to be ambiguous.

For example, the expression abc (the product) is well-defined if a, b, and c are integers. Because integers are associative, abc has the same value whether it is interpreted to mean (ab)c or a(bc). However, if a, b, and c are Cayley numbers, then the expression abc is not well-defined, since Cayley numbers are not, in general, associative, so that the two interpretations (ab)c and a(bc) can be different.

Sometimes, ambiguities are implicitly resolved by notational convention. For example, the conventional interpretation of a ^ b ^ c=a^(b^c) is a^((b^c)), never (a^b)^c, so that the expression a ^ b ^ c is well-defined even though exponentiation is nonassociative.

The term "well-defined" also has a technical meaning in field of partial differential equations. A solution to a partial differential equation that is a continuous function of its values on the boundary is said to be well-defined. Otherwise, a solution is called ill-defined.


See also

Ambiguous, Ill-Defined, Undefined

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Well-Defined." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Well-Defined.html

Subject classifications