# set operations

## Summary

Basic operations on sets include intersection, union, and difference. The power set of a set A is the set of all subsets of A.

## Context

-this concept has no prerequisites-

## Goals

- Know what it means for two sets to be equal

- Know how set union, intersection, and difference are defined mathematically

- Know what the power set is

- Be able to prove simple statements involving all of these concepts

## Core resources (read/watch one of the following)

## -Free-

→ Stanford CS103: Mathematical Foundations of Computing (2013)

Lecture notes for Stanford's introductory computer science theory course.

## -Paid-

→ Elements of Set Theory

An introductory textbook on axiomatic set theory.

Location:
Chapter 2, "Axioms and operations," pages 17-32

Additional dependencies:

- first-order logic

→ The Language of First-Order Logic

An undergraduate logic textbook aimed at philosophers, with an educational software package.

Location:
Chapter 8, "First-order set theory," up through 8.6, "The powerset of a set," pages 207-220

Additional dependencies:

- first-order logic

## See also

-No Additional Notes-