1.2 Mathematical definitions

Mathematical definitions are the building blocks of everything you do in math. Without precise definitions, you can't write proofs, solve problems reliably, or even have a productive conversation about mathematical ideas. A definition pins down exactly what a term means so that everyone working with it reaches the same conclusions.

This guide covers what makes a good definition, the different types you'll encounter, how to construct your own, and how definitions get used in proofs and across mathematical fields.

Nature of mathematical definitions

Mathematical definitions give you the precise language needed to reason rigorously. In everyday English, words can be fuzzy. "Large number" could mean 100 or 100 million depending on context. In math, that kind of ambiguity breaks everything. Definitions eliminate it.

A well-crafted definition does three things: it tells you exactly what a term means, it draws a clear boundary between what counts and what doesn't, and it gives you something concrete to work with in proofs.

Precision in mathematics

Precision is what separates mathematical language from ordinary language. When you define a prime number as a natural number greater than 1 whose only positive divisors are 1 and itself, there's no room for debate about whether 7 qualifies (it does) or whether 1 qualifies (it doesn't).

This precision lets you build complex structures on top of simpler ones. Every theorem you prove relies on the exact wording of the definitions underneath it. Change one word in a definition, and the entire chain of reasoning above it might collapse.

Role in formal reasoning

Definitions are the starting vocabulary of deductive reasoning. When you write a proof, every claim you make traces back to either a definition, an axiom, or a previously proven result.

• Definitions supply the terms that logical rules operate on
• They make it possible to apply inference methods like modus ponens or proof by contradiction
• In axiomatic systems (like Euclidean geometry or ZFC set theory), definitions work alongside axioms to generate the full body of results

Axioms vs definitions

These two get confused often, but they play different roles:

• Axioms are statements accepted as true without proof. They're the ground-level assumptions of a mathematical system.
• Definitions assign meaning to new terms, often building on axioms and previously defined concepts.

For example, in Euclidean geometry, "two points determine a unique line" is an axiom. But "a triangle is a polygon with exactly three sides" is a definition that uses already-understood terms (polygon, side). Axioms give you the rules of the game; definitions give you the vocabulary to play it.

Components of definitions

Every well-formed mathematical definition has a consistent internal structure. Recognizing these components helps you both read definitions more carefully and write better ones yourself.

Defined term

This is the concept or object you're naming. It's the subject of the definition. You'll often see it introduced with standard phrasing:

• "Let $f$ be a function such that..."
• "We define a metric space as..."
• "A natural number $p$ is called prime if..."

The defined term can be a word (like "prime"), a symbol (like $\emptyset$), or both.

Defining conditions

These are the properties or criteria that determine whether something fits the definition. They answer the question: what must be true for this term to apply?

Defining conditions often use:

• Logical connectives: "and," "or," "if and only if"
• Quantifiers: "for all" ($\forall$), "there exists" ($\exists$)

For example, in "a number $n$ is even if there exists an integer $k$ such that $n = 2k$," the defining condition is the existence of that integer $k$.

Notation and symbols

Many definitions introduce specific notation alongside the concept. This notation becomes shorthand you'll use repeatedly.

• The summation symbol $\sum$ comes with a definition of how indices and bounds work
• The integral $\int$ carries its own precise meaning tied to limits of Riemann sums (or Lebesgue measure, depending on context)
• Field-specific notation, like $\cong$ for isomorphism, gets introduced through definitions in that field

Good notation makes complex ideas easier to manipulate in equations and proofs.

Types of definitions

Not all definitions work the same way. Different approaches suit different situations, and recognizing which type you're dealing with helps you understand what the definition is actually doing.

Explicit vs implicit

An explicit definition directly states what the term means by giving a clear formula or set of conditions. For instance, defining a quadratic function as $f(x) = ax^2 + bx + c$ where $a \neq 0$ is explicit. You can immediately see what the object looks like.

An implicit definition characterizes a concept through the relationships it must satisfy, without giving a direct formula. The axioms for a group (closure, associativity, identity, inverses) implicitly define what a group is. You never get a single equation that says "a group looks like this." Instead, anything satisfying all four axioms counts as a group. Implicit definitions are powerful for capturing abstract structures.

Recursive definitions

A recursive definition defines a concept in terms of simpler instances of itself. It always has two parts:

1. Base case(s): The simplest instance, defined directly
2. Recursive step: A rule for building new instances from existing ones

The Fibonacci sequence is a classic example:

• Base cases: $F_1 = 1$, $F_2 = 1$
• Recursive step: $F_n = F_{n-1} + F_{n-2}$ for $n > 2$

Recursive definitions are essential for describing infinite structures and show up constantly in computer science and induction proofs.

Ostensive definitions

An ostensive definition introduces a concept by pointing to examples rather than stating formal conditions. In early math education, you might learn what a "triangle" is by being shown several triangles.

This approach is useful for building initial intuition, but it has limits. Showing someone five examples of a continuous function doesn't capture what continuity actually means. Ostensive definitions typically serve as stepping stones toward more rigorous formal definitions.

Constructing definitions

Writing a good definition is a skill. Here are the key principles to keep in mind.

Necessary and sufficient conditions

A complete definition captures both:

• Necessary conditions: Properties that every instance must have
• Sufficient conditions: Properties that guarantee something is an instance

Your goal is to find conditions that are both necessary and sufficient. Consider prime numbers: "a natural number greater than 1 whose only positive divisors are 1 and itself." Being greater than 1 is necessary (it rules out 1). Having no divisors other than 1 and itself is also necessary. Together, these conditions are sufficient to identify exactly the prime numbers and nothing else.

If your conditions are only necessary but not sufficient, your definition is too broad. If they're only sufficient but not necessary, it's too narrow.

Clarity and conciseness

A good definition uses precise language without unnecessary complexity. Every word should earn its place.

• Avoid redundant conditions (don't state something that already follows from other parts of the definition)
• Use well-defined terms that your audience already understands
• Balance completeness with brevity: include everything needed, but nothing extra

Avoiding circularity

A circular definition uses the term being defined (or a close synonym) in its own definition. "A set is a collection of objects that form a set" tells you nothing.

To avoid circularity:

1. Trace the dependency chain of your definition. Does it eventually bottom out at axioms or previously defined terms?
2. If you find a loop, redefine one of the concepts in the chain using more primitive terms
3. Be especially careful with closely related concepts (like "open" and "closed" in topology) to make sure at least one is defined independently

Properties of good definitions

Unambiguity

A definition should have exactly one interpretation. If two mathematicians read your definition and could reasonably disagree about whether a specific object satisfies it, the definition needs work.

Test for unambiguity by trying borderline cases. Does the definition clearly include or exclude them?

Non-contradictory nature

A definition must be internally consistent and compatible with the rest of the mathematical system it lives in. If a definition lets you derive a contradiction, something is wrong.

For example, defining a set as "the set of all sets that don't contain themselves" leads to Russell's paradox. This kind of issue drove the development of more careful axiomatic set theories like ZFC.

Extensibility and generalizability

The best definitions extend naturally to broader contexts. The definition of a limit in single-variable calculus generalizes to multivariable calculus and then to metric spaces and topological spaces. Similarly, the real numbers extend to the complex numbers in a way that preserves the core algebraic structure.

A definition that works only in one narrow setting and can't be adapted is often a sign that it hasn't captured the right underlying idea.

Common definition techniques

Genus and differentia

This classical technique defines a concept in two steps:

1. Genus: Name the broader category the concept belongs to
2. Differentia: State what distinguishes it from other members of that category

Example: "A square is a rectangle (genus) with all sides equal (differentia)."

This method creates natural hierarchies. A square is a special rectangle, which is a special parallelogram, which is a special quadrilateral. It's especially common in geometry and classification problems.

Operational definitions

An operational definition specifies a concept in terms of a procedure or computation. Rather than describing what something is, it describes what you do.

For example, matrix multiplication is defined by specifying the exact procedure: the entry in row $i$, column $j$ of the product is the dot product of row $i$ of the first matrix with column $j$ of the second. This gives you both the meaning and a method for computing it.

Stipulative vs lexical

• Stipulative definitions introduce brand-new terms or assign fresh meanings. When a textbook says "we will call such a mapping a homomorphism," that's stipulative. The author is creating terminology for their context.
• Lexical definitions clarify or formalize terms that already have informal or established usage. Formalizing the intuitive notion of "continuous" into the epsilon-delta definition is lexical.

Both are legitimate. Stipulative definitions drive the creation of new theory; lexical definitions sharpen existing understanding.

Definitions in mathematical proofs

Unpacking definitions

One of the most important proof skills is unpacking: replacing a defined term with its actual definition to reveal what you need to show.

For example, to prove a function $f$ is continuous at a point $a$, you unpack the definition: you need to show that for every $\epsilon > 0$, there exists a $\delta > 0$ such that $|x - a| < \delta$ implies $|f(x) - f(a)| < \epsilon$. Now you have a concrete goal to work toward.

Steps for unpacking:

1. Identify the key defined terms in the statement you're trying to prove
2. Replace each term with its formal definition
3. Identify which parts you can control (like choosing $\delta$) and which are given

Applying definitions strategically

Not every definition needs to be unpacked at every moment. Part of mathematical maturity is knowing when to invoke a definition and which definition to use.

Sometimes a problem becomes easier if you use an equivalent but different characterization of the same concept. For instance, you might prove a set is open by using the "union of open balls" characterization rather than the epsilon-neighborhood definition, depending on what's more convenient.

Definitions as proof tools

Definitions don't just set up proofs; they actively shape proof strategy. The structure of a definition often suggests the structure of the proof.

• If a definition involves "for all," your proof likely needs to start with "let $x$ be arbitrary"
• If a definition involves "there exists," you need to construct or find a witness
• If a definition has multiple conditions joined by "and," you may need to verify each one separately

Previously proven theorems and lemmas also connect back to definitions, giving you ready-made tools to apply.

Evolving nature of definitions

Historical changes in definitions

Mathematical definitions aren't set in stone. The concept of a function, for example, has evolved dramatically. Euler thought of functions as analytic expressions. Dirichlet broadened the definition to any rule assigning outputs to inputs. The modern set-theoretic definition (a function as a set of ordered pairs) is more abstract still.

These changes reflect deeper shifts in mathematical understanding and the need to handle new phenomena (like nowhere-differentiable functions) that older definitions couldn't accommodate.

Context-dependent definitions

The same word can mean different things in different branches of math. "Normal" means one thing in group theory (a normal subgroup), something else in topology (a normal space), and something else again in linear algebra (a normal matrix).

This isn't a flaw; it reflects the fact that different fields developed their own terminology for their own needs. But it means you always need to know which context a definition lives in.

Refinement of definitions

Definitions get refined when mathematicians discover edge cases, ambiguities, or limitations. The definition of integral went from Riemann's version (which can't handle some important functions) to Lebesgue's version (which can). Each refinement extends the reach of the concept while preserving its core meaning in the cases that already worked.

Definitions across mathematical fields

Different branches of mathematics have different styles of definition, shaped by the kinds of objects they study.

Algebra vs geometry definitions

• Algebra defines abstract structures through axioms and operations. A ring is defined by specifying two operations and the properties they must satisfy. You never "see" a ring; you verify its axioms.
• Geometry defines objects with spatial or visual character. A circle is the set of all points equidistant from a center. Geometric definitions often translate directly into pictures.

Analysis vs topology definitions

• Analysis relies heavily on quantitative definitions involving limits and inequalities. The epsilon-delta definition of continuity is the classic example: it specifies exactly how close inputs and outputs must be.
• Topology abstracts away from specific distances and focuses on structural properties. Continuity in topology is defined through preimages of open sets, with no mention of epsilon or delta.

Number theory vs logic definitions

• Number theory definitions center on integers and their properties: divisibility, congruence ($a \equiv b \pmod{n}$), primality.
• Logic definitions deal with formal languages, truth values, and rules of inference. A well-formed formula is defined by syntactic rules about how symbols can be combined.

Challenges with definitions

Vagueness and ambiguity

Vagueness creeps in when definitions rely on informal language or undefined terms. "A very large number" is vague. "A number greater than $10^{100}$" is precise. Always check whether your definition draws a sharp boundary.

Conflicting definitions

Different textbooks sometimes define the same term differently. Does "natural numbers" include 0? It depends on who you ask. When you encounter conflicting definitions, identify which convention your course or text uses and stick with it consistently.

Incomplete definitions

A definition is incomplete if it fails to classify all relevant cases. If you define a function as "increasing" when $f(a) < f(b)$ for $a < b$ but don't specify whether this must hold for all pairs or just some, the definition is incomplete. Always check whether your definition handles every case it needs to.

Impact of definitions

Shaping mathematical thought

Definitions shape how you think about problems before you even start solving them. The way continuity is defined (epsilon-delta vs. sequences vs. open sets) influences which proof techniques feel natural and which questions you think to ask.

Influencing problem-solving approaches

The definition you choose to work with often determines your strategy. If you define convergence of a series using partial sums, you'll approach problems differently than if you use the Cauchy criterion. Knowing multiple equivalent definitions gives you flexibility.

Guiding mathematical research

Open questions in math often come down to definitional issues. "What is the right definition of dimension for fractal sets?" led to Hausdorff dimension. "How should we define the integral for badly behaved functions?" led to Lebesgue integration. Refining and extending definitions is a driving force in mathematical research.