Membership vs. Set Inclusion in Set Theory
In set theory, membership and set inclusion are two of the most important concepts to understand. Because they both describe relationships involving sets, they are often confused. However, they refer to two completely different types of relationships.
- Membership
Membership is denoted by the symbol ∈ and describes the relationship between an element and a set. If an element x belongs to a set S, we write x ∈ S. In other words, x is one of the objects contained in the set S.For example, if S = {1, 2, 3}, the statement 2 ∈ S is true because 2 is one of the elements of S.
- Set inclusion
Set inclusion is denoted by the symbols ⊂ and ⊆ and describes the relationship between two sets. The notation A ⊂ B means that A is a proper subset of B, that is, every element of A belongs to B and A is not equal to B. The notation A ⊆ B means that A is a subset of B and may be equal to B.For example, if S = {1, 2, 3}, the statement {2} ⊂ S is true because every element of the set {2} is also an element of S. Since {2} and S are not the same set, {2} is a proper subset of S. Likewise, {1, 2, 3} ⊆ S is true because both sets contain exactly the same elements.
Membership vs. Inclusion at a Glance
The key difference is simple:
- Membership (∈) connects an element to a set.
- Set inclusion (⊂ and ⊆) connects one set to another set.
Membership answers the question, “Is this element in the set?” Inclusion answers the question, “Are all the elements of this set contained in another set?”
3 ∈ S ✓ True
{3} ⊂ S ✓ True
3 ⊂ S ✗ False
{3} ∈ S ✗ False
Understanding this distinction is essential because it prevents one of the most common mistakes in elementary set theory: confusing an element with the set that contains it.
