discrete mathematics · set operations discrete mathematics basic structures: sets, functions,...

76
Sets Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics

Upload: others

Post on 01-Jun-2020

32 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Discrete MathematicsBasic Structures:

Sets, Functions, Sequences, and Sums

Prof. Steven Evans

Prof. Steven Evans Discrete Mathematics

Page 2: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

2.1: Sets

Prof. Steven Evans Discrete Mathematics

Page 3: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Sets

Definition

A set is an unordered collection of objects, called elements ormembers of the set. A set is said to contain its elements. We use“a ∈ A” to denote that a is an element of the set A. Likewise, weuse “a 6∈ A” to denote that a is not an element of A.

Prof. Steven Evans Discrete Mathematics

Page 4: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set-builder notation

Another way to describe a set is to use set-builder notation, whichcharacterizes the elements of a set by the property they must havein order to be members.

Example

Q+ = {x ∈ R | x = pq for positive integers p and q}

Prof. Steven Evans Discrete Mathematics

Page 5: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set-builder notation

Another way to describe a set is to use set-builder notation, whichcharacterizes the elements of a set by the property they must havein order to be members.

Example

Q+ = {x ∈ R | x = pq for positive integers p and q}

Prof. Steven Evans Discrete Mathematics

Page 6: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Sets

More examples of sets

N = {0, 1, 2, 3, . . .}, the set of natural numbers.

Z = {. . . ,−2,−1, 0, 1, 2, . . .}, the set of integers.

Z+ = {1, 2, 3, . . .}, the set of positive integers.

Q = {pq | p ∈ Z, q ∈ Z, q nonzero}, the set of rationalnumbers.

R, the set of real numbers.

R+, the set of positive real numbers.

C, the set of complex numbers.

Prof. Steven Evans Discrete Mathematics

Page 7: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Intervals

Definition

When a and b are real numbers with a < b, we write:

[a, b] = {x | a ≤ x ≤ b},[a, b) = {x | a ≤ x < b},(a, b] = {x | a < x ≤ b},(a, b) = {x | a < x < b}.

Prof. Steven Evans Discrete Mathematics

Page 8: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Sets

Definition

Two sets are said to be equal when they have the same elements,meaning that A and B are equal if and only if the sentence

∀x(x ∈ A↔ x ∈ B)

holds. We write A = B for this sentence.

Definition

There is a special set that contains no elements. This set is calledthe empty set or the null set and is denoted by ∅ or by {}.

Prof. Steven Evans Discrete Mathematics

Page 9: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Sets

Definition

Two sets are said to be equal when they have the same elements,meaning that A and B are equal if and only if the sentence

∀x(x ∈ A↔ x ∈ B)

holds. We write A = B for this sentence.

Definition

There is a special set that contains no elements. This set is calledthe empty set or the null set and is denoted by ∅ or by {}.

Prof. Steven Evans Discrete Mathematics

Page 10: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Venn Diagrams

Example

A Venn diagram for the set of vowels:

V

a

e

i o

u

Prof. Steven Evans Discrete Mathematics

Page 11: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Subsets

Definition

The set A is a subset of B if every element of A is also an elementof B. This is written symbolically as

∀x(x ∈ A→ x ∈ B).

We use the notation A ⊆ B to indicate this relationship.

Note

Note that to show that A is not a subset of B, we need only findone element x ∈ A with x 6∈ B. This element is a counterexampleto the claim that x ∈ A implies x ∈ B.

Prof. Steven Evans Discrete Mathematics

Page 12: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Subsets

Definition

The set A is a subset of B if every element of A is also an elementof B. This is written symbolically as

∀x(x ∈ A→ x ∈ B).

We use the notation A ⊆ B to indicate this relationship.

Note

Note that to show that A is not a subset of B, we need only findone element x ∈ A with x 6∈ B. This element is a counterexampleto the claim that x ∈ A implies x ∈ B.

Prof. Steven Evans Discrete Mathematics

Page 13: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Subsets

“Subset” as a Venn diagram

A B

Prof. Steven Evans Discrete Mathematics

Page 14: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Subsets

Proper subsets

When we want to emphasize that A ⊆ B but B 6= A, we writeA ⊂ B and say that A is a proper subset of B. For A ⊂ B to betrue, it must be the case that A ⊆ B yet there is an element of Bwhich is not an element of A.

In symbols,

∀x(x ∈ A→ x ∈ B) ∧ ∃x(x ∈ B ∧ x 6∈ A).

Double containment

A useful way to show that two sets are equal is to show that eachis a subset of the other. In other words, if we can show A ⊆ B andB ⊆ A, then A = B. In symbols,

(∀x(x ∈ A↔ x ∈ B))

↔ (∀x(x ∈ A→ x ∈ B) ∧ ∀x(x ∈ B → x ∈ A)) .

Prof. Steven Evans Discrete Mathematics

Page 15: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Subsets

Proper subsets

When we want to emphasize that A ⊆ B but B 6= A, we writeA ⊂ B and say that A is a proper subset of B. For A ⊂ B to betrue, it must be the case that A ⊆ B yet there is an element of Bwhich is not an element of A. In symbols,

∀x(x ∈ A→ x ∈ B) ∧ ∃x(x ∈ B ∧ x 6∈ A).

Double containment

A useful way to show that two sets are equal is to show that eachis a subset of the other. In other words, if we can show A ⊆ B andB ⊆ A, then A = B. In symbols,

(∀x(x ∈ A↔ x ∈ B))

↔ (∀x(x ∈ A→ x ∈ B) ∧ ∀x(x ∈ B → x ∈ A)) .

Prof. Steven Evans Discrete Mathematics

Page 16: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Subsets

Proper subsets

When we want to emphasize that A ⊆ B but B 6= A, we writeA ⊂ B and say that A is a proper subset of B. For A ⊂ B to betrue, it must be the case that A ⊆ B yet there is an element of Bwhich is not an element of A. In symbols,

∀x(x ∈ A→ x ∈ B) ∧ ∃x(x ∈ B ∧ x 6∈ A).

Double containment

A useful way to show that two sets are equal is to show that eachis a subset of the other. In other words, if we can show A ⊆ B andB ⊆ A, then A = B.

In symbols,

(∀x(x ∈ A↔ x ∈ B))

↔ (∀x(x ∈ A→ x ∈ B) ∧ ∀x(x ∈ B → x ∈ A)) .

Prof. Steven Evans Discrete Mathematics

Page 17: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Subsets

Proper subsets

When we want to emphasize that A ⊆ B but B 6= A, we writeA ⊂ B and say that A is a proper subset of B. For A ⊂ B to betrue, it must be the case that A ⊆ B yet there is an element of Bwhich is not an element of A. In symbols,

∀x(x ∈ A→ x ∈ B) ∧ ∃x(x ∈ B ∧ x 6∈ A).

Double containment

A useful way to show that two sets are equal is to show that eachis a subset of the other. In other words, if we can show A ⊆ B andB ⊆ A, then A = B. In symbols,

(∀x(x ∈ A↔ x ∈ B))

↔ (∀x(x ∈ A→ x ∈ B) ∧ ∀x(x ∈ B → x ∈ A)) .

Prof. Steven Evans Discrete Mathematics

Page 18: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Sets with other sets as members

Sets may have other sets as members. For instance, consider

A = {∅, {a}, {b}, {a, b}}, B ={x | x is a subset of {a, b}}.

Note that these sets are equal: A = B. Note also that {a} is amember of A, but a is not.

Prof. Steven Evans Discrete Mathematics

Page 19: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Sets with other sets as members

Sets may have other sets as members. For instance, consider

A = {∅, {a}, {b}, {a, b}}, B ={x | x is a subset of {a, b}}.

Note that these sets are equal: A = B.

Note also that {a} is amember of A, but a is not.

Prof. Steven Evans Discrete Mathematics

Page 20: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Sets with other sets as members

Sets may have other sets as members. For instance, consider

A = {∅, {a}, {b}, {a, b}}, B ={x | x is a subset of {a, b}}.

Note that these sets are equal: A = B. Note also that {a} is amember of A, but a is not.

Prof. Steven Evans Discrete Mathematics

Page 21: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

The size of a set

Definition

Let S be a set. If there are exactly n elements in S , where n is anon-negative integer, then we say that S is a finite set and that nis the cardinality of S , denoted by |S |.

Definition

If S is not a finite set, then it is said to be infinite.

Prof. Steven Evans Discrete Mathematics

Page 22: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

The size of a set

Definition

Let S be a set. If there are exactly n elements in S , where n is anon-negative integer, then we say that S is a finite set and that nis the cardinality of S , denoted by |S |.

Definition

If S is not a finite set, then it is said to be infinite.

Prof. Steven Evans Discrete Mathematics

Page 23: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Power sets

Definition

Given a set S , the power set of S is the set of all the subsets of S .It is denoted P(S).

Prof. Steven Evans Discrete Mathematics

Page 24: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Cartesian products

Definition

The ordered n-tuple (a1, a2, . . . , an) is the ordered collection thathas a1 as its first element, a2 as its second element, . . . , and an asits nth element. When n = 2, these are also called ordered pairs.

Equality

If (b1, . . . , bn) is another n-tuple, then these are said to be equalwhen each of their terms is equal, i.e., when ai = bi for each choiceof i . Note that the pairs (x , y) and (y , x) are equal only if x = y .

Definition

Let A and B be sets. Their Cartesian product, written A× B, isthe set of all ordered pairs (a, b) with a ∈ A and b ∈ B.

A× B = {(a, b) | a ∈ A ∧ b ∈ B}.

Prof. Steven Evans Discrete Mathematics

Page 25: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Cartesian products

Definition

The ordered n-tuple (a1, a2, . . . , an) is the ordered collection thathas a1 as its first element, a2 as its second element, . . . , and an asits nth element. When n = 2, these are also called ordered pairs.

Equality

If (b1, . . . , bn) is another n-tuple, then these are said to be equalwhen each of their terms is equal, i.e., when ai = bi for each choiceof i . Note that the pairs (x , y) and (y , x) are equal only if x = y .

Definition

Let A and B be sets. Their Cartesian product, written A× B, isthe set of all ordered pairs (a, b) with a ∈ A and b ∈ B.

A× B = {(a, b) | a ∈ A ∧ b ∈ B}.

Prof. Steven Evans Discrete Mathematics

Page 26: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Cartesian products

Definition

The ordered n-tuple (a1, a2, . . . , an) is the ordered collection thathas a1 as its first element, a2 as its second element, . . . , and an asits nth element. When n = 2, these are also called ordered pairs.

Equality

If (b1, . . . , bn) is another n-tuple, then these are said to be equalwhen each of their terms is equal, i.e., when ai = bi for each choiceof i . Note that the pairs (x , y) and (y , x) are equal only if x = y .

Definition

Let A and B be sets. Their Cartesian product, written A× B, isthe set of all ordered pairs (a, b) with a ∈ A and b ∈ B.

A× B = {(a, b) | a ∈ A ∧ b ∈ B}.

Prof. Steven Evans Discrete Mathematics

Page 27: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Cartesian products

Definition

The ordered n-tuple (a1, a2, . . . , an) is the ordered collection thathas a1 as its first element, a2 as its second element, . . . , and an asits nth element. When n = 2, these are also called ordered pairs.

Equality

If (b1, . . . , bn) is another n-tuple, then these are said to be equalwhen each of their terms is equal, i.e., when ai = bi for each choiceof i . Note that the pairs (x , y) and (y , x) are equal only if x = y .

Definition

Let A and B be sets. Their Cartesian product, written A× B, isthe set of all ordered pairs (a, b) with a ∈ A and b ∈ B.

A× B = {(a, b) | a ∈ A ∧ b ∈ B}.

Prof. Steven Evans Discrete Mathematics

Page 28: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Cartesian products

Definition

More generally, given sets A1, A2, . . . , An, their Cartesian productis the set of n-tuples (a1, a2, . . . , an) with ai ∈ Ai .

A1×A2×· · ·×An = {(a1, a2, . . . , an) | ai ∈ Ai for i = 1, 2, . . . , n}.

Definition

A subset of the Cartesian product A× B is called a relation fromthe set A to the set B.

Prof. Steven Evans Discrete Mathematics

Page 29: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Cartesian products

Definition

More generally, given sets A1, A2, . . . , An, their Cartesian productis the set of n-tuples (a1, a2, . . . , an) with ai ∈ Ai .

A1×A2×· · ·×An = {(a1, a2, . . . , an) | ai ∈ Ai for i = 1, 2, . . . , n}.

Definition

A subset of the Cartesian product A× B is called a relation fromthe set A to the set B.

Prof. Steven Evans Discrete Mathematics

Page 30: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Cartesian products

Definition

More generally, given sets A1, A2, . . . , An, their Cartesian productis the set of n-tuples (a1, a2, . . . , an) with ai ∈ Ai .

A1×A2×· · ·×An = {(a1, a2, . . . , an) | ai ∈ Ai for i = 1, 2, . . . , n}.

Definition

A subset of the Cartesian product A× B is called a relation fromthe set A to the set B.

Prof. Steven Evans Discrete Mathematics

Page 31: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Using set notation with quantifiers

Sometimes we restrict the domain of a quantified statement bymaking use of set notation:

∀x ∈ S(P(x))

≡ ∀x(x ∈ S → P(x)),

∃x ∈ S(P(x))

≡ ∃x(x ∈ S ∧ P(x)).

Prof. Steven Evans Discrete Mathematics

Page 32: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Using set notation with quantifiers

Sometimes we restrict the domain of a quantified statement bymaking use of set notation:

∀x ∈ S(P(x)) ≡ ∀x(x ∈ S → P(x)),

∃x ∈ S(P(x)) ≡ ∃x(x ∈ S ∧ P(x)).

Prof. Steven Evans Discrete Mathematics

Page 33: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Truth sets and quantifiers

Definition

Given a predicate P and domain D, we define the truth set of P tobe the set of elements x in D for which P(x) is true. This truthset is denoted

{x ∈ D | P(x)}.

Example

What are the truth sets of P(x), Q(x), and R(x), where thedomain is the set of integers and

P(x) ≡ (|x | = 1)?

Q(x) ≡ (x2 = 2)?

R(x) ≡ (|x | = x)?

Prof. Steven Evans Discrete Mathematics

Page 34: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Truth sets and quantifiers

Definition

Given a predicate P and domain D, we define the truth set of P tobe the set of elements x in D for which P(x) is true. This truthset is denoted

{x ∈ D | P(x)}.

Example

What are the truth sets of P(x), Q(x), and R(x), where thedomain is the set of integers and

P(x) ≡ (|x | = 1)?

Q(x) ≡ (x2 = 2)?

R(x) ≡ (|x | = x)?

Prof. Steven Evans Discrete Mathematics

Page 35: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Truth sets and quantifiers

Definition

Given a predicate P and domain D, we define the truth set of P tobe the set of elements x in D for which P(x) is true. This truthset is denoted

{x ∈ D | P(x)}.

Example

What are the truth sets of P(x), Q(x), and R(x), where thedomain is the set of integers and

P(x) ≡ (|x | = 1)?

Q(x) ≡ (x2 = 2)?

R(x) ≡ (|x | = x)?

Prof. Steven Evans Discrete Mathematics

Page 36: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Truth sets and quantifiers

Definition

Given a predicate P and domain D, we define the truth set of P tobe the set of elements x in D for which P(x) is true. This truthset is denoted

{x ∈ D | P(x)}.

Example

What are the truth sets of P(x), Q(x), and R(x), where thedomain is the set of integers and

P(x) ≡ (|x | = 1)?

Q(x) ≡ (x2 = 2)?

R(x) ≡ (|x | = x)?

Prof. Steven Evans Discrete Mathematics

Page 37: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

2.2: Set Operations

Prof. Steven Evans Discrete Mathematics

Page 38: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Union

Let A and B be sets. Their union, written A ∪ B, is the set thatcontains those elements which are in A, in B, or in both.

A ∪ B = {x | x ∈ A ∨ x ∈ B}.

Intersection

Let A and B be sets. Their intersection, written A ∩ B, is the setthat contains those elements which are in both A and B.

A ∩ B = {x | x ∈ A ∧ x ∈ B}.

Prof. Steven Evans Discrete Mathematics

Page 39: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Union

Let A and B be sets. Their union, written A ∪ B, is the set thatcontains those elements which are in A, in B, or in both.

A ∪ B = {x | x ∈ A ∨ x ∈ B}.

Intersection

Let A and B be sets. Their intersection, written A ∩ B, is the setthat contains those elements which are in both A and B.

A ∩ B = {x | x ∈ A ∧ x ∈ B}.

Prof. Steven Evans Discrete Mathematics

Page 40: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

A: A B

B: A B

A ∪ B: A B

A ∩ B: A B

Prof. Steven Evans Discrete Mathematics

Page 41: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

A: A B

B: A B

A ∪ B: A B

A ∩ B: A B

Prof. Steven Evans Discrete Mathematics

Page 42: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

A: A B

B: A B

A ∪ B: A B

A ∩ B: A B

Prof. Steven Evans Discrete Mathematics

Page 43: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Definition

Two sets are called disjoint if their intersection is the empty set.

Cardinalities

We are often interested in finding the cardinality of the union oftwo finite sets A and B. Note that |A|+ |B| counts once eachelement which is in A or B but the the other, while it counts twiceeach element that appears in both A and B. Hence:

|A ∪ B| = |A|+ |B| − |A ∩ B|.

Prof. Steven Evans Discrete Mathematics

Page 44: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Definition

Two sets are called disjoint if their intersection is the empty set.

Cardinalities

We are often interested in finding the cardinality of the union oftwo finite sets A and B. Note that |A|+ |B| counts once eachelement which is in A or B but the the other, while it counts twiceeach element that appears in both A and B.

Hence:

|A ∪ B| = |A|+ |B| − |A ∩ B|.

Prof. Steven Evans Discrete Mathematics

Page 45: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Definition

Two sets are called disjoint if their intersection is the empty set.

Cardinalities

We are often interested in finding the cardinality of the union oftwo finite sets A and B. Note that |A|+ |B| counts once eachelement which is in A or B but the the other, while it counts twiceeach element that appears in both A and B. Hence:

|A ∪ B| = |A|+ |B| − |A ∩ B|.

Prof. Steven Evans Discrete Mathematics

Page 46: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Difference

Let A and B be sets. The difference of A and B, denoted A \ B(or sometimes A− B) is the set of elements of A which are notelements of B.

A \ B = {x | x ∈ A ∧ x 6∈ B}.

Complement

Let U be the “universal set”. The complement of A, denoted A, isthe difference U \ A. An element x belongs to A if and only ifx 6∈ A, hence:

A = {x ∈ U | x 6∈ A}.

Prof. Steven Evans Discrete Mathematics

Page 47: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Difference

Let A and B be sets. The difference of A and B, denoted A \ B(or sometimes A− B) is the set of elements of A which are notelements of B.

A \ B = {x | x ∈ A ∧ x 6∈ B}.

Complement

Let U be the “universal set”. The complement of A, denoted A, isthe difference U \ A. An element x belongs to A if and only ifx 6∈ A, hence:

A = {x ∈ U | x 6∈ A}.

Prof. Steven Evans Discrete Mathematics

Page 48: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

Difference

Let A and B be sets. The difference of A and B, denoted A \ B(or sometimes A− B) is the set of elements of A which are notelements of B.

A \ B = {x | x ∈ A ∧ x 6∈ B}.

Complement

Let U be the “universal set”. The complement of A, denoted A, isthe difference U \ A. An element x belongs to A if and only ifx 6∈ A, hence:

A = {x ∈ U | x 6∈ A}.

Prof. Steven Evans Discrete Mathematics

Page 49: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

A \ B: A B

A:

U

A

Prof. Steven Evans Discrete Mathematics

Page 50: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Basic operations

A \ B: A B A:

U

A

Prof. Steven Evans Discrete Mathematics

Page 51: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Identity laws:

A ∩ U = A,

A ∪∅ = A.

Domination laws:

A ∪ U = U,

A ∩∅ = ∅.

Idempotent laws:

A ∪ A = A,

A ∩ A = A.

Complementation law:

(A) = A.

Commutative laws:

A ∪ B = B ∪ A,

A ∩ B = B ∩ A.

Associative laws:

A ∪ (B ∪ C ) = (A ∪ B) ∪ C ,

A ∩ (B ∩ B) = (A ∩ B) ∩ C .

Distributive laws:

A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ B).

Prof. Steven Evans Discrete Mathematics

Page 52: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Identity laws:

A ∩ U = A,

A ∪∅ = A.

Domination laws:

A ∪ U = U,

A ∩∅ = ∅.

Idempotent laws:

A ∪ A = A,

A ∩ A = A.

Complementation law:

(A) = A.

Commutative laws:

A ∪ B = B ∪ A,

A ∩ B = B ∩ A.

Associative laws:

A ∪ (B ∪ C ) = (A ∪ B) ∪ C ,

A ∩ (B ∩ B) = (A ∩ B) ∩ C .

Distributive laws:

A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ B).

Prof. Steven Evans Discrete Mathematics

Page 53: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Identity laws:

A ∩ U = A,

A ∪∅ = A.

Domination laws:

A ∪ U = U,

A ∩∅ = ∅.

Idempotent laws:

A ∪ A = A,

A ∩ A = A.

Complementation law:

(A) = A.

Commutative laws:

A ∪ B = B ∪ A,

A ∩ B = B ∩ A.

Associative laws:

A ∪ (B ∪ C ) = (A ∪ B) ∪ C ,

A ∩ (B ∩ B) = (A ∩ B) ∩ C .

Distributive laws:

A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ B).

Prof. Steven Evans Discrete Mathematics

Page 54: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Identity laws:

A ∩ U = A,

A ∪∅ = A.

Domination laws:

A ∪ U = U,

A ∩∅ = ∅.

Idempotent laws:

A ∪ A = A,

A ∩ A = A.

Complementation law:

(A) = A.

Commutative laws:

A ∪ B = B ∪ A,

A ∩ B = B ∩ A.

Associative laws:

A ∪ (B ∪ C ) = (A ∪ B) ∪ C ,

A ∩ (B ∩ B) = (A ∩ B) ∩ C .

Distributive laws:

A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ B).

Prof. Steven Evans Discrete Mathematics

Page 55: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Identity laws:

A ∩ U = A,

A ∪∅ = A.

Domination laws:

A ∪ U = U,

A ∩∅ = ∅.

Idempotent laws:

A ∪ A = A,

A ∩ A = A.

Complementation law:

(A) = A.

Commutative laws:

A ∪ B = B ∪ A,

A ∩ B = B ∩ A.

Associative laws:

A ∪ (B ∪ C ) = (A ∪ B) ∪ C ,

A ∩ (B ∩ B) = (A ∩ B) ∩ C .

Distributive laws:

A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ B).

Prof. Steven Evans Discrete Mathematics

Page 56: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Identity laws:

A ∩ U = A,

A ∪∅ = A.

Domination laws:

A ∪ U = U,

A ∩∅ = ∅.

Idempotent laws:

A ∪ A = A,

A ∩ A = A.

Complementation law:

(A) = A.

Commutative laws:

A ∪ B = B ∪ A,

A ∩ B = B ∩ A.

Associative laws:

A ∪ (B ∪ C ) = (A ∪ B) ∪ C ,

A ∩ (B ∩ B) = (A ∩ B) ∩ C .

Distributive laws:

A ∪ (B ∩ C ) = (A ∪ B) ∩ (A ∪ C ),

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ B).

Prof. Steven Evans Discrete Mathematics

Page 57: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

De Morgan’s laws:

A ∩ B = A ∪ B,

A ∪ B = A ∩ B.

Absorption laws:

A ∪ (A ∩ B) = A,

A ∩ (A ∪ B) = A.

Complement laws:

A ∪ A = U,

A ∩ A = ∅.

Prof. Steven Evans Discrete Mathematics

Page 58: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

De Morgan’s laws:

A ∩ B = A ∪ B,

A ∪ B = A ∩ B.

Absorption laws:

A ∪ (A ∩ B) = A,

A ∩ (A ∪ B) = A.

Complement laws:

A ∪ A = U,

A ∩ A = ∅.

Prof. Steven Evans Discrete Mathematics

Page 59: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

De Morgan’s laws:

A ∩ B = A ∪ B,

A ∪ B = A ∩ B.

Absorption laws:

A ∪ (A ∩ B) = A,

A ∩ (A ∪ B) = A.

Complement laws:

A ∪ A = U,

A ∩ A = ∅.

Prof. Steven Evans Discrete Mathematics

Page 60: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 61: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}

= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 62: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}

= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 63: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}

= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 64: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}

= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 65: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}

= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 66: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}

= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 67: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}

= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 68: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use set-builder notation and logical equivalences to establish thefirst De Morgan law A ∩ B = A ∪ B.

A ∩ B = {x | x 6∈ A ∩ B}= {x | ¬(x ∈ (A ∩ B))}= {x | ¬(x ∈ A ∧ x ∈ B)}= {x | ¬(x ∈ A) ∨ ¬(x ∈ B)}= {x | x 6∈ A ∨ x 6∈ B}= {x | x ∈ A ∨ x ∈ B}= {x | x ∈ A ∪ B}= A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 69: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use a membership table to show

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).

A B C B ∪ C A ∩ (B ∪ C ) A ∩ B A ∩ C (A ∩ B) ∪ (A ∩ C )

0 0 0 0

0 0 0 0

0 0 1 1

0 0 0 0

0 1 0 1

0 0 0 0

0 1 1 1

0 0 0 0

1 0 0 0

0 0 0 0

1 0 1 1

1 0 1 1

1 1 0 1

1 1 0 1

1 1 1 1

1 1 1 1

Prof. Steven Evans Discrete Mathematics

Page 70: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use a membership table to show

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).

A B C B ∪ C A ∩ (B ∪ C ) A ∩ B A ∩ C (A ∩ B) ∪ (A ∩ C )

0 0 0 0 0

0 0 0

0 0 1 1 0

0 0 0

0 1 0 1 0

0 0 0

0 1 1 1 0

0 0 0

1 0 0 0 0

0 0 0

1 0 1 1 1

0 1 1

1 1 0 1 1

1 0 1

1 1 1 1 1

1 1 1

Prof. Steven Evans Discrete Mathematics

Page 71: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use a membership table to show

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).

A B C B ∪ C A ∩ (B ∪ C ) A ∩ B A ∩ C (A ∩ B) ∪ (A ∩ C )

0 0 0 0 0 0 0

0

0 0 1 1 0 0 0

0

0 1 0 1 0 0 0

0

0 1 1 1 0 0 0

0

1 0 0 0 0 0 0

0

1 0 1 1 1 0 1

1

1 1 0 1 1 1 0

1

1 1 1 1 1 1 1

1

Prof. Steven Evans Discrete Mathematics

Page 72: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Set identities

Example

Use a membership table to show

A ∩ (B ∪ C ) = (A ∩ B) ∪ (A ∩ C ).

A B C B ∪ C A ∩ (B ∪ C ) A ∩ B A ∩ C (A ∩ B) ∪ (A ∩ C )

0 0 0 0 0 0 0 00 0 1 1 0 0 0 00 1 0 1 0 0 0 00 1 1 1 0 0 0 01 0 0 0 0 0 0 01 0 1 1 1 0 1 11 1 0 1 1 1 0 11 1 1 1 1 1 1 1

Prof. Steven Evans Discrete Mathematics

Page 73: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Generalized unions and intersections

Because unions and intersections of sets satisfy associative laws,the sets A ∪ B ∪ C and A ∩ B ∩ C are well defined; that is, themeaning of this notation is unambiguous. Note that A ∪ B ∪ Ccontains those elements that are in at least one of the sets A, B,and C , and that A ∩ B ∩ C contains those elements that are in allof A, B, and C .

Prof. Steven Evans Discrete Mathematics

Page 74: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Generalized unions and intersections

Definition

The union of a collection of sets is the set that contains thoseelements which are members of at least one set in the collection.

A1 ∪ · · · ∪ An =n⋃

i=1

Ai = {x | ∃i ∈ {1, . . . , n}(x ∈ Ai )}.

Definition

The intersection of a collection of sets is the set that containsthose elements which are members of all the sets in the collection.

A1 ∩ · · · ∩ An =n⋂

i=1

Ai = {x | ∀i ∈ {1, . . . , n}(x ∈ Ai )}.

Prof. Steven Evans Discrete Mathematics

Page 75: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Generalized unions and intersections

A ∪ B ∪ C :A B

C

A ∩ B ∩ C :A B

C

Prof. Steven Evans Discrete Mathematics

Page 76: Discrete Mathematics · Set Operations Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics. Sets

SetsSet Operations

Generalized unions and intersections

A ∪ B ∪ C :A B

C

A ∩ B ∩ C :A B

C

Prof. Steven Evans Discrete Mathematics