What Is a Set?
Imagine you have a handful of marbles. You can put them together in a little pile and say "these are my marbles." That pile — that collection — is a set. The marbles themselves are the elements (or members) of the set.
The whole idea is simple: a set is just a well-defined collection of distinct objects. "Well-defined" means there is no ambiguity about what belongs and what does not. If I say "the set of tall students in this class," that is not well-defined — how tall is "tall"? But if I say "the set of students whose height is at least 175 cm," that is precise. Every student either qualifies or does not.
The Intuition First
Think of a bag. You put things into it. The bag is the set; the things inside are the elements. The bag itself is not the same as its contents — it is the container, the idea of the collection. You can have an empty bag (the empty set, written ∅ or {}). You can have a bag with one thing (a singleton). You can have a bag with many things.
The order in which you put things into the bag does not matter. If you put in a red marble, then a blue one, or the blue one first — it is the same bag. Also, duplicates are irrelevant. If you put in a red marble twice, you still just have one red marble in the bag. Sets care only about what is in them, not how many times you list it.
The Precise Statement
A set is an unordered collection of distinct objects, called its elements or members. If x is an element of the set A, we write x∈A. If x is not an element, we write x∈/A.
Sets are usually denoted by capital letters (A,B,C,…) and their elements by lowercase letters (a,b,c,…). You can describe a set in two ways:
-
Roster (list) form: List the elements inside curly braces.
Example: A={1,2,3} means the set containing the numbers 1, 2, and 3.
-
Set-builder form: State a property that all elements satisfy.
Example: B={x∣x is a natural number and x<4} means the same set {1,2,3}.
The empty set ∅ (or {}) is a set with no elements. It is a subset of every set. Do not confuse it with {0}, which is a set containing the number zero — that set has one element.
Why This Matters
Sets are the foundation of all modern mathematics. Numbers, functions, relations, geometry — everything can be built from sets. When you later study probability, you will talk about "sample spaces" (sets of outcomes). When you study relations and functions, you will work with ordered pairs, which are themselves defined using sets. The idea is so basic that it is almost invisible, but once you see it, you will find sets everywhere.
When you first see notation like {x∣P(x)}, read it aloud: "the set of all x such that P(x) is true." The vertical bar means "such that." This will help you decode any set-builder expression.
A Quick Check
Which of these are well-defined sets?
- The set of all even numbers between 1 and 10.
Yes: {2,4,6,8}.
- The set of all beautiful paintings.
No: "beautiful" is subjective.
- The set of all prime numbers less than 20.
Yes: {2,3,5,7,11,13,17,19}.
- The set {a,a,b}.
This is just {a,b} — duplicates are ignored.
That is the core idea. A set is a precise, unordered collection of distinct things. Everything else builds from here.