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.

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.

Scope of Application¶

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.
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.

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.

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.

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.

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.

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