Elements, set-builder notation, and Venn diagram fundamentals
A set is just a collection of things, and nearly all of mathematics is built from that one idea. Start with the simplest question you can ask: is this thing in the set or not?
Pick a set from the menu, then click elements to test whether each one is in it (∈) or not (∉). Notice there is never an in-between answer.
Click elements below to test if they belong to the selected set.
A = {2, 4, 6, 8, 10}
Test these elements:
Sets are the fundamental building blocks of mathematics. A set is simply a collection of distinct objects, called elements or members. Despite this simplicity, nearly all of modern mathematics can be built on the language of sets.
We write a ∈ A to mean "a is an element of A" and a ∉ A to mean "a is not an element of A." Sets can be described by listing their elements (roster notation) or by specifying a property (set-builder notation).
Key insight: Membership is the most basic relationship in set theory. An object either belongs to a set or it does not -- there is no "partial" membership. This binary nature is what makes sets so powerful as a foundation.
Read the property, click every element that satisfies it, then check your answer. Move on to the next condition and watch the set change with the rule.
Select all elements that satisfy the given condition.
Condition:
x is even and x < 20
Set-builder: { x ∈ ℤ : x is even, 0 < x < 20 }
Select elements from the domain:
Your set (roster notation):
{ ∅ }
Key insight: Set-builder notation {x | P(x)} lets you define infinite sets concisely. The property P(x) acts as a filter: only elements satisfying P make it into the set.
Choose a preset, or click elements to put them in A or B, and watch which region of the diagram each one lands in.
Click elements in the controls below to add/remove them from sets A and B. The Venn diagram updates in real time.
Set A (click to toggle):
Set B (click to toggle):
A only
{4, 6, 8, 10, 12}
A ∩ B
{2}
B only
{3, 5, 7, 11}
Neither
{1, 9}
Key insight: Venn diagrams make abstract set relationships visual. Overlapping regions represent shared elements, and containment represents the subset relation A ⊆ B.
Spot a mistake or have an idea?