Terms & Concepts Set Theory
Terms & Concepts Set Theory
Post-Tonal Theory
Set Theory
“A set may be viewed as any well-defined collection of objects;
the objects are called the elements or members of the set.”
U&Æ
Universal set: U AÈB
• ℤ12 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
Empty set, or null set: Æ
Set Relations
Equality: A = B
Negation: A ¹ B
Inclusion: x is a member of A: x Î A
AÇB
Exclusion: x is not a member of A: x Ï A
Other Set Relations and Operations
Subsets
Disjoint sets: A Ç B = Æ
Subset relation: A Ì B Two sets that have no common members
Every member of A is a member of B
Complement: A¢
Superset relation: A É B The set of all members that belong to U,
A contains B, thus B Ì A but not to A
Subset negation: A Ë B Cartesian product: 𝐴 × 𝐵
Proper subset The set of all ordered pairs (a, b) where
A is a subset of B, but A ¹ B a Î A and b Î B
1
S. Lipschutz, Schaum’s Outline of Theory and Problems of Set Theory and Related Topics, 2nd ed. (New York: McGraw Hill, 1998).
2
For mathematical definitions, see Mathematical Terms & Concepts on the course website.
Set Theory, Page 1 of 2
BAIN MUSC 525
Post-Tonal Theory
QUOTABLE
“Zermelo–Fraenkel set theory…is a rigorous theory, based on a precise set of axioms. However, it is possible to develop the
theory of sets considerably without any knowledge of those axioms…. The concept of a ‘set of objects’ is a very intuitive one,
and, with care, considerable, sound progress may be made on the basis of this intuition alone.”
– Keith Devlin, The Joy of Sets3
“A set is any well-defined collection of objects called the elements or members of the set…. One way of describing a set that
has a finite number of elements is by listing the elements of the set between braces…. The order in which the elements of a set
are listed is not important…. Moreover, repeated elements in the list of a set can be ignored.”
“…every set is a subset of itself and the empty set (Æ) is a subset of every set.”
“Almost all mathematical objects are first of all sets…. Thus set theory is, in a sense, the foundation on which virtually all of
mathematics is constructed.”
“The set of everything, it turns out, cannot be considered defined without destroying the logical structure of mathematics. To
avoid this and other problems…we will assume that for each discussion there is a ‘universal set’ U (which may vary with the
discussion) containing all objects for which our discussion is meaningful.”
EXAMPLE 1
Consider the following equivalent representations of the set {1, 2, 3}:
{1, 2, 3}, {2, 3, 1}, {3, 2, 1}, {1, 2, 1, 3}, {2, 3, 2, 3, 1}, etc.
EXAMPLE 2
Consider the following sets, relations and operations:
a. 𝐴 ∪ 𝐵 = {a, b, c, d, e, f, g} e. 𝐴 ∩ 𝐵 = Æ i. 𝐶 ⊂ 𝐵
b. 𝐴 ∪ 𝐶 = {a, b, c, f, g} f. 𝐴 ∩ 𝐷 = {a, b, c} j. 𝐴 ⊅ 𝐵
c. 𝐴 ∪ 𝐷 = {a, b, c, d} g. 𝐴 ⊂ 𝐷 k. 𝐶 = 𝐸
d. 𝐵 ∩ 𝐶 = {f, g} h. 𝐷 ⊃ 𝐴 l. 𝐴 ≠ 𝐵
A = {C, D, E, F, G, A, B}
W = {C, E, G} X = {F, A, C} Y = {G, B, D} Z = {G, B, D, F}
a. WÈXÈY=A e. Y Ç Z = {G, B, D}
b. W È Y = {C, E, G, B, D} f. Y Ì Z, and Z É Y
c. W Ç Y= {G} g. XÇY=Æ
d. W Ç X = {C} h. A¢ = {Fƒ, Gƒ, Aƒ, Cƒ, Dƒ}
First, notice that set A is equivalent to the C major scale. Second, notice that sets W, X and Y are equivalent to the tonic (I),
subdominant (IV) and dominant (V) chords in the key of C major, respectively, and that set Z is equivalent to the dominant
seventh chord (V7). The union (È) operation models the joining two chords: e.g., W È Y forms a Cmaj9 chord; Intersection
(Ç) models common-tone relationships; etc.
3
Keith Devlin, The Joy of Sets: Fundamentals of Contemporary Set Theory, 2nd ed. (New York: Springer, 1994).
4
B. Kolman and R. C. Busby, Discrete Mathematical Structures for Computer Science (Englewood Cliffs, NJ: Prentice-Hall, 1984).
Set Theory, Page 2 of 2