This document defines and provides examples of set operations including union, intersection, complement, and difference. It discusses set cardinality and set identities. Examples are provided to illustrate membership tables and Venn diagrams for sets of up to 3 elements. Methods for proving set identities such as using subsets, logic, or membership tables are also described.