Well-defined expression

Let A_0,A_1 be sets, let A = A_0 \cup A_1 and "define" f: A \rightarrow \{0,1\} as f(a)=0 if a \in A_0 and f(a)=1 if a \in A_1. Then f is well defined if A_0 \cap A_1 = \emptyset\!. For example, if A_0:=\{2,4\} and A_1:=\{3,5\}, then f(a) would be well defined and equal to \operatorname{mod}(a,2). However, if A_0 \cap A_1 \neq \emptyset, then f would not be well defined because f(a) is "ambiguous" for a \in A_0 \cap A_1. For example, if A_0:=\{2\} and A_1:=\{2\}, then f(2) would have to be both 0 and 1, which makes it ambiguous. As a result, the latter f is not well defined and thus not a function. =="Definition" as anticipation of definition==

In order to avoid the quotation marks around "define" in the previous simple example, the "definition" of f could be broken down into two logical steps: {{ordered list :f := \bigl\{(a,i) \mid i \in \{0,1\} \wedge a \in A_i \bigr\}, (which so far is nothing but a certain subset of the Cartesian product A \times \{0,1\}.) :f: A \rightarrow \{0,1\}. }} While the definition in step 1 is formulated with the freedom of any definition and is certainly effective (without the need to classify it as "well defined"), the assertion in step 2 has to be proven. That is, f is a function if and only if A_0 \cap A_1 = \emptyset, in which case f – as a function – is well defined. On the other hand, if A_0 \cap A_1 \neq \emptyset, then for an a \in A_0 \cap A_1, we would have that (a,0) \in f and (a,1) \in f, which makes the binary relation f not functional (as defined in ) and thus not well defined as a function. Colloquially, the "function" f is also called ambiguous at point a (although there is per definitionem never an "ambiguous function"), and the original "definition" is pointless. Despite these subtle logical problems, it is quite common to use the term definition (without apostrophes) for "definitions" of this kind, for three reasons: • It provides a handy shorthand of the two-step approach. • The relevant mathematical reasoning (i.e., step 2) is the same in both cases. • In mathematical texts, the assertion is "up to 100%" true. ==Independence of representative==

Questions regarding the well-definedness of a function often arise when the defining equation of a function refers not only to the arguments themselves, but also to elements of the arguments, serving as representatives. This is sometimes unavoidable when the arguments are cosets and when the equation refers to coset representatives. The result of a function application must then not depend on the choice of representative. Functions with one argument For example, consider the following function: : \begin{matrix} f : & \Z/8\Z & \to & \Z/4\Z\\ & \overline{n}_8 & \mapsto & \overline{n}_4, \end{matrix} where n\in\Z, m\in \{4,8\} and \Z/m\Z are the integers modulo m and \overline{n}_m denotes the congruence class of n mod m. N.B.: \overline{n}_4 is a reference to the element n \in \overline{n}_8, and \overline{n}_8 is the argument of f. The function f is well defined, because: :n \equiv n' \bmod 8 \; \Leftrightarrow \; 8 \text{ divides } (n-n') \Rightarrow \; 4 \text{ divides } (n-n') \; \Leftrightarrow \; n \equiv n' \bmod 4. As a counter example, the converse definition: : \begin{matrix} g : & \Z/4\Z & \to & \Z/8\Z\\ & \overline{n}_4 & \mapsto & \overline{n}_8, \end{matrix} does not lead to a well-defined function, since e.g. \overline{1}_4 equals \overline{5}_4 in \Z/4\Z, but the first would be mapped by g to \overline{1}_8, while the second would be mapped to \overline{5}_8, and \overline{1}_8 and \overline{5}_8 are unequal in \Z/8\Z. Operations In particular, the term well-defined is used with respect to (binary) operations on cosets. In this case, one can view the operation as a function of two variables, and the property of being well-defined is the same as that for a function. For example, addition on the integers modulo some n can be defined naturally in terms of integer addition. :[a]\oplus[b] = [a+b] The fact that this is well-defined follows from the fact that we can write any representative of [a] as a+kn, where k is an integer. Therefore, :[a]\oplus[b] = [a+kn]\oplus[b] = [(a+kn)+b] = [(a+b)+kn] = [a+b]; similar holds for any representative of [b], thereby making [a+b] the same, irrespective of the choice of representative. ==Well-defined notation==

For real numbers, the product a \times b \times c is unambiguous because (a \times b)\times c = a \times (b \times c); hence the notation is said to be well defined. In the programming language APL there is only one rule: from right to left – but parentheses first. ==Other uses of the term==

A solution to a partial differential equation is said to be well-defined if it is continuously determined by boundary conditions as those boundary conditions are changed. ==See also==