Definition 1.1.1: Sets and Operations on Sets
A set is a collection of objects chosen from some universe. The universe is usually understood from the context. Sets are denoted by capital letters or curly brackets.
- A B: A is a subset of B means that every element in A is also contained in B.
- A B: A union B is the set of all elements that are either in A or in B or in both sets.
- A B: A intersection B is the set of all elements that are in both sets A and B.
- A \ B: A minus B are all elements from A that are not in B.
- comp(A): The complement of A consists of all elements that are not in A.
- Two sets are disjoint if A B = 0 (the empty set)
- Two sets A and B are equal if A B and B A