Set

Pronunciation: /sɛt/ Explain

A set is a collection of objects about which membership can be established. A set can have a finite number of members, or an infinite number of members. Examples of sets include the set of integers, the set of positive numbers, and the set of even numbers.

The study of sets is called set theory. Set theory forms one of the bases of modern mathematics.

Sets are conventionally referred to by a capital letter. When printing text including a letter for a set, the letter is italicized: "Let set Z be the set of all integers." For more on set notation, see Set Notation.

Membership in sets

A circle labeled A with element p on the interior and element q on the exterior.
Figure 1: pA, qA
An object that is a member of a set is called an element of the set. If object p is an element of set A, one writes pA and says "p is an element of A". If object q is not an element of set A, one writes qA.

Uniqueness of sets

A set is uniquely determined by its members. This means that there is only one set with that set of members. For example, there is only one set of all integers. If two sets contain all integers, then they are the same set.

Special sets

An important set is called the empty set. The empty set is unique; there is only one empty set. Another important set is the universal set. The universal set contains all elements being considered. If one is talking about complex numbers, the universal set can be considered to be the set of all complex numbers.

Relations between sets

A circle labeled A inside a circle labeled B.
Figure 2: AB, BA

Subset

If all the elements of set A are also in set B, then set A is a subset of set B. One writes A⊂B and says "A is a subset of B". If set A is a subset of set B and may be equal to B, one writes AB. If set B is not a subset of set C, one writes BC.

Superset

The inverse of subset is superset. If set A is a subset of set B, then set B is a superset of set A. One writes BA. If set A is a proper subset of set B, then set B is a proper superset of set A. one writes BA.

Equality

Two sets are equal if they contain exactly the same members. This is stated formally as: Given sets A and B, A = B if and only if AB and BA.

Operations on Sets

Power Set

A power set of a set is the set of all subsets of a set. For example, the power set of set A = {1 ,3, 6} is ℘(A) = {∅, {1}, {3}, {6}, {1, 3}, {1, 6}, {3, 6}, {1, 3, 6}}.

Union

Two overlapping circles labeled A and B. The interior of both circles are shaded.
Figure 3: AB

A union of two sets is a set that contains all the elements in either set. One writes the union of set A and B as AB. For example, if set A and B are defined as A = { 1, 3, 5, 7 } and B = { 1, 2, 3, 4 }, then AB = { 1, 2, 3, 4, 5, 7 }.

Some of the properties of the union of sets are:

  • A ∪ ∅ = A - The union of any set A and the empty set is equal to the set A.
  • If BA then AB = A. The union of any set A and any of its subset is set A.

Intersection

Figure 4: AB

An intersection of two sets is a set containing all the elements that are in both of the sets. One writes the intersection of set A and set B as AB. For example, if set A and B are defined as A = { 1, 3, 5, 7 } and B = { 1, 2, 3, 4 }, then AB = { 1, 3 }.

Some of the properties of intersection of sets are:

  • A ∩ ∅ = ∅ - The intersection of a set and the empty set is the empty set.
  • If BA then AB = B - The intersection of a set A and its subset B is the subset B.

Complement

A circle labeled A. Outside the circle is shaded and labeled A'.
Figure 5: Complement of A.

The complement of a set is all elements of the universal set that are not members of that set. For example, if the universal set is the set of all integers (), and set A is the set of all even integers, then the complement of set A is the set of all odd integers. If set B is the complement of set A one writes B = A'.

Some of the properties of complements are:

  • Let B = A'. Then B' = A. The complement of the complement of set A is set A.
  • If U be the universal set. U' = ∅ - The complement of the universal set is the empty set.
  • If U be the universal set. ∅' = U - The complement of the empty set is the universal set.
  • ( AB )' = A'B' - The complement of the intersection of two sets is the union of the complements. (de Morgan's Theorem)
  • ( AB )' = A'B' - The complement of the union of two sets is the intersection of the complements. (de Morgan's Theorem)

Cartesian Product

The Cartesian product of two sets is a set of ordered pairs that contains one member of the first set and one member of the second set. Every combination of members of the two sets is represented. The Cartesian product of sets A and B is written A × B. The Cartesian product of the set A with itself is written A2. The Cartesian product of the sets A = { a, b } and B = { c, d, e } is { (a,c), (a,d), (a, e), (b, c), (b, d), (b, e)}.

Properties of Sets

Some properties of sets are:
  • Cardinality - The cardinality of a set is the size of a set. If a set has a finite number of members, then the cardinality of the set is the number of members. If a set has an infinite number of members, then the cardinality of the set is either countably infinite, or uncountably infinite. For more information on cardinality, see Cardinality.
  • Order - A set is ordered if, for any two distinct members of a set a and b, either a < b or b < a. A set is ordered if one can always tell if one element comes before or after another element.
  • Continuity - An ordered set is continuous if there are no "gaps" or "holes" in it. One of the properties of a continuous set is that between any two members of a set, there is at least one other member of the set. A set that is not continuous is called discontinuous.
  • Countable - A set is countable if it is a finite set, or if the set has a one to one correspondence with the set of natural numbers. If a set is not countable, then it is uncountable. The word denumerable means the same thing as countable. The word nondenumerable means the same thing as uncountable.
  • Discrete - A set is discrete if the members of the set are isolated. A set is discrete if no subset forms a continuum.
  • Finite - A set is finite if it has a finite number of members. A set is finite if, when enumerating the elements of the set, a last element can be found. A set that is not finite is infinite.
  • Bounded - A set is bounded if it has a upper bound and a lower bound. An upper bound is a value that is greater than any member of the set. A lower bound is a value that is less than any member of the set. A set that is not bounded is called unbounded.
  • Least upper bound - The least upper bound of an ordered set is least value that is greater than or equal to any member of a set. A least upper bound may or may not be a member of the set. Example: 5 is a least upper bound of the sets { x | x < 5 } and { y | -1 ≤ y ≤ 5}. A least upper bound is also called a supremum.
  • Greatest lower bound - The greatest lower bound of an ordered set is greatest value that is less than or equal to any member of a set. A greatest lower bound may or may not be a member of the set. Example: 2 is a greatest lower bound of the sets { x | x > 2} and { y | 2 ≤ y ≤ 7}. A greatest lower bound is also called an infimum.

Standard Sets

Venn diagram of the standard sets
Figure 1: Standard sets
A number of standard sets are denoted by convention.
NotationDescription
Z, ℤ The set of all integers
J, Z+, ℤ+ The set of all positive integers.
Q, ℚ The set of all rational numbers.
R, ℝ The set of all real numbers.
C, ℂ The set of all complex numbers.

Types of Sets

Some commonly used types of sets are:

  • Binary - A binary set is a set with exactly two members. Boolean algebra is an algebra on a particular binary set.
  • Ordered pair - An ordered pair is a set containing two members where the order of the members is important. ( x, y ) is different from ( y, x).
  • Ordered triple - An ordered triple is a set containing three members where the order of the members is important. ( x, y, z) is different from ( y, x, z ), ( z, x, y ) and ( z, y, x ).

References

  1. McAdams, David E.. All Math Words Dictionary, set. 2nd Classroom edition 20150108-4799968. pg 163. Life is a Story Problem LLC. January 8, 2015. Buy the book

More Information

  • J J O'Connor and E F Robertson. A history of set theory. School of Mathematics and Statistics, University of St Andrews, Scotland. 1/11/2010. http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html.

Cite this article as:

McAdams, David E. Set. 5/4/2019. All Math Words Encyclopedia. Life is a Story Problem LLC. http://www.allmathwords.org/en/s/set.html.

Image Credits

Revision History

5/4/2019: Changed equations and expressions to new format. (McAdams, David E.)
12/21/2018: Reviewed and corrected IPA pronunication. (McAdams, David E.)
12/6/2018: Removed broken links, updated license, implemented new markup. (McAdams, David E.)
8/7/2018: Changed vocabulary links to WORDLINK format. (McAdams, David E.)
9/30/2010: Expanded article to include more properties of sets. (McAdams, David E.)
12/15/2009: Rewrote article. (McAdams, David E.)
5/4/2009: Added double struck symbology for standard sets. (McAdams, David E.)
3/28/2008: Added standard sets. (McAdams, David E.)
7/12/2007: Initial version. (McAdams, David E.)

All Math Words Encyclopedia is a service of Life is a Story Problem LLC.
Copyright © 2018 Life is a Story Problem LLC. All rights reserved.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License