Definiens¶

The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8894
Domain group: Humanities
Origin domain: Philosophy
Subdomains: Logic, Theory of Definition → Philosophy

Core Idea¶

Definiens is treated here as the recurring mathematics, logic, and statistics identity summarized by this source-grounded definition: The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens.

A definition is a semantic statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitions (which try to list the objects that a term describes). Another important category of definitions is the class of ostensive definitions, which convey the meaning of a term by pointing out examples.

A term may have many different senses and multiple meanings, and thus require multiple definitions. In mathematics, a definition is used to give a precise meaning to a new term, by describing a condition which unambiguously qualifies what the mathematical term is and is not. Definitions and axioms form the basis on which all of modern mathematics is to be constructed.

For Definiens, the abstraction is narrower than the article's general subject matter: a positive case must preserve The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in mathematics, logic, and statistics, which is why this identity is domain-specific rather than prime.

How would you explain it like I'm…

The Explaining Part

When you explain a word, there are two parts. In "a puppy is a baby dog," the word "puppy" is the one being explained. The words "a baby dog" do the explaining, and that explaining part is called the definiens.

The Meaning-Giving Part

Every definition has two pieces. One piece is the word you want to explain, like "triangle." The other piece is what explains it, like "a flat shape with three straight sides." The explaining piece is called the definiens. Sometimes it is not even words: pointing at a dog and saying "that's a dog" makes the pointing do the explaining.

The Defining Side of a Definition

Every definition splits into a definiendum (the term being defined) and a Definiens (the words, phrase, or action that supplies its meaning). The Definiens can work in different ways: it can state the sense of the term (an intensional definition), list the things the term covers (an extensional definition), or point to examples (an ostensive definition). In mathematics, the Definiens must state a condition that settles exactly what does and does not count as an instance. A term with several meanings can need several definitions, each with its own Definiens. The concept is the defining role itself, not just a familiar example of the word.

A definition is a semantic statement of a term's meaning, and it has two structural roles: the definiendum, the expression to be defined, and the Definiens, the word, group of words, or action that defines it. Definitions are commonly classed as intensional (the Definiens gives the term's sense), extensional (the Definiens lists the objects the term applies to), or ostensive (the Definiens points to examples). Because a term may have multiple senses, it may need multiple definitions and hence multiple Definientia. In mathematics the Definiens carries special weight: it gives a new term a precise meaning by stating a condition that unambiguously decides what the term is and is not. Together with axioms, such definitions form the foundation on which modern mathematics is built. The abstraction is specifically this defining role in the definiendum/Definiens pair; merely naming the term, citing an example, or describing a consequence of the definition does not count.

Structural Signature¶

Sig role-phrases:

Defining carrier — The process of ostensive definition itself was critically appraised by Ludwig Wittgenstein.
Constitutive relation — Any definition that attempts to set out the essence of something, such as that by genus and differentia, is an intensional definition.
Operating condition — Thus, the "seven deadly sins" can be defined intensionally as those singled out by Pope Gregory I as particularly destructive of the life of grace and charity within a person, thus creating the threat of eternal damnation.
Recognition evidence — A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia).
Admissible variation — the differentia: The portion of the new definition that is not provided by the genus.
Characteristic consequence — This gives the meaning of a term by pointing, in the case of an individual, to the thing itself, or in the case of a class, to examples of the right kind.
Failure boundary — For example, one can explain who Alice (an individual) is, by pointing her out to another; or what a rabbit (a class) is, by pointing at several and expecting another to understand.

What It Is Not¶

Not the whole field of mathematics, logic, and statistics. The node requires the specific identity stated by The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens.
Not an over-broad reading. A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia).
Not an over-broad reading. the differentia: The portion of the new definition that is not provided by the genus.
Not an over-broad reading. The definiens is not the meaning of the word defined, but is instead something that conveys the same meaning as that word.
Not automatically Lexical Definition. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Definiens applies literally inside mathematics, logic, and statistics wherever the source-defined carrier and relation can be established. Its documented habitats include:

In logic, mathematics and computing. In mathematics, definitions are generally not used to describe existing terms, but to describe or characterize a concept.
In logic, mathematics and computing. The precise meaning of a term given by a mathematical definition is often different from the English definition of the word used, which can lead to confusion, particularly when the meanings are close.
In logic, mathematics and computing. In some case, the word used can be misleading; for example, a real number has nothing more (or less) real than an imaginary number.
Classification. Authors have used different terms to classify definitions used in formal languages like mathematics.
Classification. Swartz defines a precising definition as one that extends the descriptive dictionary definition (lexical definition) for a specific purpose by including additional criteria.
In medicine. useful clinically or in related areas where the definition will be used.

Outside mathematics, logic, and statistics, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Definiens names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens. The strongest recognition evidence in the frozen account is: A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia). A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia). so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Definiens compresses multiple mathematics, logic, and statistics details into a stable diagnostic relation. The source shows both the central mechanism—any definition that attempts to set out the essence of something, such as that by genus and differentia, is an intensional definition.—and the practical consequence—this gives the meaning of a term by pointing, in the case of an individual, to the thing itself, or in the case of a class, to examples of the right kind. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the mathematics, logic, and statistics entities to which the claim applies.
State the relation. Use the source-grounded identity: The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens.
Check operation and conditions. Thus, the "seven deadly sins" can be defined intensionally as those singled out by Pope Gregory I as particularly destructive of the life of grace and charity within a person, thus creating the threat of eternal damnation.
Demand recognition evidence. A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia).
Test variation. Change an implementation or setting while preserving the differentia: The portion of the new definition that is not provided by the genus.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Definiens transfers literally when a new case preserves the same carrier type, relation, and recognition test. In mathematics, definitions are generally not used to describe existing terms, but to describe or characterize a concept. The precise meaning of a term given by a mathematical definition is often different from the English definition of the word used, which can lead to confusion, particularly when the meanings are close.

Beyond the home domain. No canonical parent is asserted for Definiens. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

In some case, the word used can be misleading; for example, a real number has nothing more (or less) real than an imaginary number. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens; recognition evidence → A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia)

Applied / In Practice¶

For example, in the definition "An elephant is a large gray animal native to Asia and Africa", the word "elephant" is the definiendum, and everything after the word "is" is the definiens. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Basic terminology; invariant → The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens; boundary → the case exits the class when a genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia)

Structural Tensions¶

T1 — Stable identity versus admissible variation. A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia). The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. the differentia: The portion of the new definition that is not provided by the genus. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. The definiens is not the meaning of the word defined, but is instead something that conveys the same meaning as that word. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. Any definition that attempts to set out the essence of something, such as that by genus and differentia, is an intensional definition. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. The process of ostensive definition itself was critically appraised by Ludwig Wittgenstein. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Definiens literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. Any definition that attempts to set out the essence of something, such as that by genus and differentia, is an intensional definition. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Definiens distinguish that the broader parent Pattern leaves together?

Structural–Framed Character¶

Definiens is structural-leaning. Its structural side is the repeatable organization summarized by The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens. Its framed side is the mathematics, logic, and statistics vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: Thus, the "seven deadly sins" can be defined intensionally as those singled out by Pope Gregory I as particularly destructive of the life of grace and charity within a person, thus creating the threat of eternal damnation. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: The process of ostensive definition itself was critically appraised by Ludwig Wittgenstein. Any definition that attempts to set out the essence of something, such as that by genus and differentia, is an intensional definition. It further constrains recognition and variation through: Thus, the "seven deadly sins" can be defined intensionally as those singled out by Pope Gregory I as particularly destructive of the life of grace and charity within a person, thus creating the threat of eternal damnation. A genus–differentia definition is a type of intensional definition that takes a large category (the genus) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the differentia).

What is domain-bound. mathematics, logic, and statistics supplies the operative entities, technical vocabulary, warrants, and exceptions that make Definiens literal. Its documented scope includes the condition that In mathematics, definitions are generally not used to describe existing terms, but to describe or characterize a concept. Another bounded application condition is that The precise meaning of a term given by a mathematical definition is often different from the English definition of the word used, which can lead to confusion, particularly when the meanings are close. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—the differentia: The portion of the new definition that is not provided by the genus.—and future graph densification may discover a defensible relation only if it preserves that boundary.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Definiens. The reviewed identity is: The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Neighborhood in Abstraction Space¶

Definiens sits in a sparse region of the domain-specific corpus (86^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Pattern. The parent omits the specialist differentia. Tell: Can the case establish The word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens?
Lexical Definition. A usage-accountable explanation of one conventional sense of a lexical item, expressed in language accessible to an intended audience and revisable when the relevant community's usage changes. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Denotation. The entity, value, extension, truth condition, or semantic object that an expression is assigned under an interpretation, distinguished from associated connotations and many pragmatic effects. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Noun. Identify a language-particular lexical category whose members share morphosyntactic distributions centered on heading referring expressions, while keeping prototypical object reference distinct from any universal single-test definition. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Definiens remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside mathematics, logic, and statistics lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Definition (revision 1370766244).
Preserved source candidate: https://books.google.com/books?id=mAjMaRr9d5gC&q=definition
Preserved source candidate: https://www.dictionary.com/browse/definition
Preserved source candidate: https://books.google.com/books?id=C5TdV8LgtaQC
Preserved source candidate: http://beisecker.faculty.unlv.edu//Courses/Phi-102/Definitions.html
Preserved source candidate: http://dictionary.reference.com/browse/homonym
Preserved source candidate: http://pandora.cii.wwu.edu/vajda/ling201/test3materials/semanticsHANDOUT.htm
Preserved source candidate: https://web.archive.org/web/20130617090717/http://pandora.cii.wwu.edu/vajda/ling201/test3materials/semanticsHANDOUT.htm
Preserved source candidate: https://books.google.com/books?id=AefSOW9MW5UC&pg=PA123

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.