Mathwords logoMathwords

Well-Defined — Definition, Formula & Examples

Well-defined means that a mathematical object, operation, or function gives exactly one unambiguous output for each valid input, regardless of how that input is represented.

A mapping f:A→Bf: A \to B is well-defined if for every a∈Aa \in A, there exists a unique b∈Bb \in B such that f(a)=bf(a) = b, and whenever a1=a2a_1 = a_2 in AA, it follows that f(a1)=f(a2)f(a_1) = f(a_2) in BB. More generally, a definition or construction is well-defined if it produces a single, consistent result independent of any arbitrary choices made in the process.

How It Works

Checking that something is well-defined usually arises when elements can be written in more than one form. For instance, the fraction 12\frac{1}{2} is the same as 24\frac{2}{4}, so any function on fractions must give the same output for both representations. To verify well-definedness, you assume two representations of the same input are equal and then show the outputs are equal. If you find even one case where two names for the same input produce different outputs, the definition fails.

Worked Example

Problem: Define a function on equivalence classes of integers modulo 3 by f([x])=[x2]f([x]) = [x^2]. Is ff well-defined?
Setup: Two representatives of the same class satisfy x≡y(mod3)x \equiv y \pmod{3}, meaning x=y+3kx = y + 3k for some integer kk. We must show [x2]=[y2][x^2] = [y^2].
x=y+3kx = y + 3k
Compute the square: Square both sides and expand.
x2=y2+6yk+9k2=y2+3(2yk+3k2)x^2 = y^2 + 6yk + 9k^2 = y^2 + 3(2yk + 3k^2)
Conclude: Since x2−y2=3(2yk+3k2)x^2 - y^2 = 3(2yk + 3k^2), we have x2≡y2(mod3)x^2 \equiv y^2 \pmod{3}, so [x2]=[y2][x^2] = [y^2].
x2≡y2(mod3)x^2 \equiv y^2 \pmod{3}
Answer: Yes, f([x])=[x2]f([x]) = [x^2] is well-defined on Z/3Z\mathbb{Z}/3\mathbb{Z} because different representatives of the same class always produce the same output class.

Why It Matters

In abstract algebra and analysis, you constantly define operations on quotient structures (cosets, equivalence classes, quotient rings). If you skip the well-definedness check, your entire proof may rest on a function that does not actually exist. It is one of the first proof techniques you encounter in courses like abstract algebra and real analysis.

Common Mistakes

Mistake: Assuming a function on equivalence classes is automatically well-defined just because the formula looks valid.
Correction: You must explicitly verify that choosing a different representative of the same class yields the same output. For example, g([x])=[2x]g([x]) = [2^x] is not well-defined on Z/3Z\mathbb{Z}/3\mathbb{Z} because [0]=[3][0] = [3] yet [20]=[1]≠[23]=[8]=[2][2^0] = [1] \neq [2^3] = [8] = [2].