Welldefinition
In mathematics and computer science, welldefinedness denotes the property of an object to be clearly defined. The term is primarily used when there is a possibility that the object is otherwise ambiguous .
By definition , a welldefined expression provides exactly one value or one possible interpretation.
In a broader sense, this term is sometimes used to say that an object is consistent, i.e. H. is formally correctly defined.
The question of whether an object is well defined, there is often characterized in mathematics that an object not only by a definition equation (explicit), but also by a characteristic property (implicitly) defined can be. In the case of functions or links in particular, it happens that they can only be "implicitly defined". This is done by first defining a relation (as a subset of a Cartesian product ) with the same number of places (explicitly). This relation is expressly asserted that it is of a specific type, for example function or link. However, the entire "definition" is not complete and valid until proof of the claim has been established. One then says: the object or the concept is (as this specific type) welldefined . Otherwise one speaks of ambiguity u. Ä., And the math object remains undefined.
Simple examples
analogy
1. The definition of a species of goat A is:
"Horned mammal, with property A".
This type of goat A is not well defined as a type of goat because there are other mammals with horns that may have property A.
However, if we prove that property A occurs exclusively in goats, then goat species A is welldefined because there can then be exactly one species of mammal that fulfills property A and the definition is therefore unambiguous.
mathematics
 "For everyone is " defined "as the number for which applies ."
 "For everyone is " defined "as the number for which applies ."
 "For everyone is " defined "as the number for which applies ."
This is supposed to be the "definition" of functions with a specified set of definitions and values .
To 1:  For every number in the definition set exists one( Left totality ) andjust one( Right uniqueness ) Number in the set of values with the property . (The square function of to is bijective .) The function is thus welldefined. is the square root function. 
To 2:  The twodigit relation is not left total. Because it is an element of the left set that is supposed to represent the definition set. But there is none , the right amount, with . Theexistenceis hurt. So (as a function) is not well defined and not a function. 
To 3:  The twodigit relation is not legally clear. Because it applies to two different elements from the right set that should represent the set of values. TheUniquenessis hurt. So (as a function) is not well defined. 
Definition without anticipation
The quotation marks for "defined" and "definition" can be avoided if you do not immediately define a function. Instead, the first step is to define only a twodigit relationship  whatever works. (This is what happened in the comments on the simple examples 2 and 3.)
In a second step, it is shown that the twodigit relation defined in this way has the properties left totality and right uniqueness, i.e. is a function. This second step corresponds exactly to the usual checking of the welldefinedness.
The same mathematical objects can therefore also be formed without the term "welldefined," which means that this term turns out to be dispensable in mathematics.
At the same time, the anticipation of the functional property in the "definition" is common practice, above all because the object of the definition is immediately made known as a function . And since the purpose of a "definition" is not its failure, there is no lack of welldefined definition in mathematical texts.
Representative independence
In the literature, there is often the definition of welldefinedness as independence from representatives. Occasionally it is expressly pointed out that there is no further meaning.
Typically, the question of the welldefined character of a function must be asked if the equation defining the function refers not (only) to the arguments themselves, but (also) to elements of the arguments. This is sometimes unavoidable when the arguments are equivalence classes . A member of an equivalence class is representative called, and to such a reference.
This will be explained using an example. Every rational number can be written as a fraction of two whole numbers, the numerator and the denominator. So we "define" it as a "function" that assigns each rational number to its numerator.
Now applies , so should apply , a contradiction! So the "definition" of cannot be correct. The "definition" of is not well defined. Let us take a closer look at the "definition" : The fraction stands for the equivalence class of all pairs for which applies. The definition of should therefore be more precise: For all rational numbers is "defined" as the value for which there is a with . The equivalence class is the argument of the reference being made to the representative. Now it turns out that there are several such  for example, this is or is not welldefined and the "definition" is not one.
If an element so multiple representations (in this example , , , ...), then has a function of this element has a value assigned that of the representation of independent. The "definition", for example, fulfills this condition.
Representative independence must be proven for the following two mathematical concepts:
Induced images
Definition of the induced mapping
Two sets and as well as equivalence relations on and on are given . With which was equivalence class of the element with respect to and are adjusted with the equivalence class of the element with respect to . The set of equivalence classes is called the factor set of (after the equivalence relation ).
If one has now given a function (or mapping) , a (twodigit) relation can always be found on the pair
the factor sets according to the regulation  

define. This definition is valid and fullyfledged as a definition of a relation . But their purpose is (mostly) to define an image . This is also the name of the mapping induced by , although the use of the term mapping actually represents an anticipation of the as yet unproven welldefinition.
Welldefinition of an induced mapping
First of all, there is only a twodigit relation that fulfills the (remaining) requirements for the (also twodigit relation of the) function or mapping if there is only one (single) function value for each argument value . The following must apply here:
 .
Just when they ( representatives independence called) requirement is met, the induced "image" is well defined , so it remains only a relation, but really a picture .
Examples of induced mappings
 Be and . As the equivalence relation we choose the "equivalence modulo 3", i. i.e. it applies
 Let the equivalence relation be the usual equality, so if . (An equivalence class therefore consists of exactly one element.)
 As a function we choose
 The induced "mapping" is then
 It applies now , though . In this case, the "induced mapping" is not welldefined and not a mapping.
 Be . The equivalence relation is explained by
 and be the ordinary likeness again. The real cosine now induces the mapping
 .
 This mapping is welldefined, as shown by: Be with the property . According to the definition of, there now exists an with , and therefore it follows , using the fact that the cosine has a period of .
Induced linkage
Definition of the induced link
Let be a nonempty set with an equivalence relation and an inner connection . Using one can visit its factor structure, the ternary relation
define. In anticipation of the welldefinedness still to be proven, the link induced by the factor structure is mentioned.
Welldefinition for induced connections
So that this relation is really a connection, the result must not depend on the choice of the representative in a class. That means it must apply to everyone with the property :
If this is the case, the induced link is a (real) link (which is said to be welldefined).
Examples of induced links
 The connection , given by , is not welldefined: [5] = [2] and [3] = [6], but
 .
 Look at the symmetrical group and within it the subgroup . The linkage induced on the factor set is not well defined. It is and of course however
 The addition and the multiplication in a remainder class ring are well defined. The remainder class addition is precisely the link induced by the addition in and the normal divisor .
 If the group is a normal divisor , then the link induced on is welldefined and is called the factor group from to . The property of being a normal divisor is even equivalent to the fact that the induced link is welldefined on the factor set . Because be and arbitrary. For the welldefinition of the induced group linkage on the left secondary classes, the following must apply:
 so . However, this corresponds to definition 2 of the normal divisor. The same result is obtained with the right secondary classes.
Welldefinition in mathematical notation
For real numbers, the notation for the product is considered to be welldefined, since the multiplication fulfills the associative law. In accordance with the rest of the mathematical notation, it is unique because the product for three real numbers always provides a unique value.
This also applies to the noncommutative quaternions in the multiplication .
The subtraction is not associative. Nevertheless, the representation is considered to be welldefined.
For real numbers and the notation for the quotient is well defined. For the quaternions that are not commutative in the multiplication , this notation is not considered to be welldefined.
Programming languages
In the case of notations with operators in mathematics and computer science, however, additional rules for operator precedence and associativity can usually be used to achieve uniqueness even without brackets.
In the C programming language , for example, the subtraction 
operator is leftassociative; H. it is evaluated from left to right: abc
= (ab)c
. However, the assignment operator =
is rightassociative; H. a=b=c
= a=(b=c)
.
There is only one rule of priority in the APL programming language : First the brackets are processed, then the rest from right to left.
Completeness and consistency
In a broader sense, welldefinedness is also extended to other areas. It then designates a meaningful and consistent definition. Synonym for “not well defined” in this sense are also used as “not defined” or “not fully defined”.
Domain of definition of a function
In the definition range of the figure , the zero must not be included in the definition range, since it provides the value . However, dividing by zero is not explained in real numbers; H. there is no real number " ". (In a broader sense, one could set. But that does nothing to the example, since it is not a real number! In addition, one would have to identify and with one another, as for versus diverges.)
Likewise, it is not explained in the real numbers to take the square root of negative numbers. In other words, the “function” is not welldefined, but the function is.
Range of values of a function
If you write the formula as a "function" , the value is assigned to the value . In this case, however, this is not permitted, since it is not a natural number and is therefore not in the value range.
Links in groups
Internal links of an algebraic structure (e.g. a group ) are also functions (usually with two arguments). The same conditions apply to them: The combination of elements of the structure must result in a clearly defined element of . The term isolation is often used incorrectly here, but it refers to the definition of substructures.
Welldefinition of sets
A set is welldefined if the defining clearly states for any object that it is either a member of the set or is not a member of the set. In particular, certain forms of impredicative definitions are excluded.
See also
Web links
 Eric W. Weisstein : welldefined . In: MathWorld (English).
 well defined . In: PlanetMath . (English)
 Definition and welldefined on MathsOnline
Individual evidence
 ↑ Similarly, a function with arguments is initially defined as a digit relation and left totality and right uniqueness are related to the pair .
 ^ Serge Lang : Algebra . 3. Edition. 1993, p. X (Prerequisites).
 ↑ Albrecht Beutelspacher : That is trivial oBdA! Braunschweig 1997, p. 9.