Let's break down the definition of a set — not as a formula to memorise, but as a fundamental idea that underpins all of mathematics.
1. What is a Set? (The Core Idea)
A set is a well-defined collection of distinct objects.
The "why" here is about clarity and precision — we need to know exactly what belongs and what does not.
- Well-defined: For any object, we can say yes or no — no ambiguity.
- Distinct: No duplicates — each object appears only once.
Why? Because if we couldn't decide membership, we couldn't do any logical operations. Sets are the building blocks of all mathematical structures.
2. The Key "Formula": Set-Builder Notation
The most common way to define a set is:
S={x∣P(x)}
This reads: "S is the set of all objects x such that property P(x) is true."
Why does this work?
- x is a placeholder for any object.
- P(x) is a logical condition (a predicate) that is either true or false for each x.
- The vertical bar ∣ means "such that".
Example:
A={n∣n∈N,n is even}
Here, P(n) is "n is a natural number and n is even".
Only those n that satisfy both conditions are included.
Why this form? It avoids listing infinitely many elements. It gives a rule — a decision procedure — for membership.
3. The Two Fundamental Properties (Axioms)
Every set definition relies on two intuitive truths:
(a) Extensionality — Two sets are equal if they have the same elements.
A=B⟺(∀x)(x∈A⟺x∈B)
Why? A set is completely determined by its members. There is no other hidden property.
If you know what's inside, you know the set.
(b) Membership — The only relation is ∈ (belongs to).
x∈Sorx∈/S
Why? Because a set is just a container. The only question we can ask is: "Is this object inside?"
4. Why Can't We Just List Everything?
For small sets, listing works:
{1,2,3}
But for infinite sets (like all natural numbers), listing is impossible.
Set-builder notation solves this by giving a rule instead of a list.
Example:
N={n∣n is a positive integer}
This is not a formula to memorise — it's a definition by property.
5. The "Empty Set" — Why It Exists
The empty set ∅ (or {}) is the set with no elements. …