{ localUrl: '../page/well_defined.html', arbitalUrl: 'https://arbital.com/p/well_defined', rawJsonUrl: '../raw/5ss.json', likeableId: '3360', likeableType: 'page', myLikeValue: '0', likeCount: '3', dislikeCount: '0', likeScore: '3', individualLikes: [ 'EricBruylant', 'VladArber', 'JaimeSevillaMolina' ], pageId: 'well_defined', edit: '1', editSummary: '', prevEdit: '0', currentEdit: '1', wasPublished: 'true', type: 'wiki', title: 'Well-defined', clickbait: 'A mathematical object is "well-defined" if we have given it a completely unambiguous definition.', textLength: '2667', alias: 'well_defined', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'PatrickStevens', editCreatedAt: '2016-08-07 15:09:35', pageCreatorId: 'PatrickStevens', pageCreatedAt: '2016-08-07 15:09:35', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '32', text: '[summary: "Well-defined" is a slightly fuzzy word in mathematics. An object is said to be "well-defined" if it has been given a definition that is completely unambiguous, can be executed without regard to any arbitrary choices the mathematician might make, or generally is crisply defined.]\n\n"Well-defined" is a slightly fuzzy word in mathematics.\nBroadly, an object is said to be "well-defined" if it has been given a definition that is completely unambiguous, can be executed without regard to any arbitrary choices the mathematician might make, or generally is crisply defined.\n\n(The [Wikipedia page](https://en.wikipedia.org/wiki/Well-defined) on well-definedness contains many examples for those who are more comfortable with mathematical notation.)\n\n# Specific instances\n\n## Functions\nOne of the most common uses of the phrase "well-defined" is when talking about [3jy functions].\nA function is **well-defined** if it really is a bona fide function.\nThis usually manifests itself as the following:\n\n> Whenever $x=y$, we have $f(x) = f(y)$: that is, the output of the function doesn't depend on how we specify the input to the function, only on the input itself.\n\nThis property is often pretty easy to check.\nFor instance, the function from [45h $\\mathbb{N}$] to itself given by $n \\mapsto n+1$ is "obviously" well-defined: it's trivially obvious that if $n=m$ then $f(n) = f(m)$.\n\nHowever, sometimes it is not so easy.\nThe function $\\mathbb{N} \\to \\mathbb{N}$ given by "take the number of prime factors" is not obviously well-defined, because it could in principle be the case that some number $n$ is equal to both $p_1 p_2 p_3$ and $q_1 q_2$ for some primes $p_1, p_2, p_3, q_1, q_2$; then our putative function might plausibly attempt to output either $3$ or $2$ on the same natural number input $n$, so the function would not be well-defined.\n(It turns out that there is a non-trivial theorem, the [5rh Fundamental Theorem of Arithmetic], guaranteeing that this function *is* in fact well-defined.)\n\nWell-definedness in this context comes up very often when we are attempting to take a [quotient_by_equivalence_relation quotient].\nThe fact that we can take the quotient of a [-3jz] $X$ by an [-53y] $\\sim$ is tantamount to saying:\n\n> The function $X \\to \\frac{X}{\\sim}$, given by $x \\mapsto [x]$ the equivalence class of $X$, is well-defined.\n\n---\n\nAnother, different, way a function could fail to be well-defined is if we tried to take the function $\\mathbb{N} \\to \\mathbb{N}$ given by $n \\mapsto n-5$.\nThis function is unambiguous, but it's not well-defined, because on the input $2$ it tries to output $-3$, which is not in the specified [3lg codomain].\n\n', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '1', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: 'null', muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: {}, creatorIds: [ 'PatrickStevens' ], childIds: [], parentIds: [ 'math' ], commentIds: [], questionIds: [], tagIds: [], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18539', pageId: 'well_defined', userId: 'PatrickStevens', edit: '0', type: 'newParent', createdAt: '2016-08-07 15:09:37', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18537', pageId: 'well_defined', userId: 'PatrickStevens', edit: '1', type: 'newEdit', createdAt: '2016-08-07 15:09:35', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }