1.
$A \sub I$
2.
$A \sub A$
3.
Empty set
$\emptyset \sub A$
4.
Union of sets
$A \cup B= \{x : x \in A \; \text{or} \; x \in B \}$
5.
Intersection of sets
$A \cap B= \{x : x \in A \; \text{and} \; x \in B \}$
6.
Difference of sets
$A \setminus B = \{ x : x\in A \, \text{and} \, x\notin B\}$
7.
Set commutativity
$A \cup B = B \cup A$
8.
Set commutativity
$A \cap B = B \cap A$
9.
Set associativity
$A \cup \left(B \cup C \right) = \left( A \cup B \right) \cup C$
10.
Set associativity
$A \cap \left(B \cap C \right) = \left( A \cap B \right) \cap C$
11.
Set distributivity
$A \cup \left(B \cap C\right) = \left(A \cup B \right) \cap \left(A \cup C \right)$
12.
Set distributivity
$A \cap \left(B \cup C\right) = \left(A \cap B \right) \cup \left(A \cap C \right)$
13.
Idempotency
$A \cup A = A$
14.
Idempotency
$A \cap A = A$
15.
Domination
$A \cap \empty = A$
16.
Domination
$A \cup I = I$
17.
identity
$A \cup \empty = A$
18.
Identity
$A \cap I = A$
19.
Complement
$A^\prime=\{x \in I : x \notin A\}$
20.
Complement of union
$A \cup A^\prime = I$
21.
Complement of intersection
$A \cap A^\prime=\empty$
22.
De morgan's law
$\left(A \cup B\right)^\prime=A^\prime \cap B^\prime$
23.
De morgan's law
$\left(A \cap B\right)^\prime=A^\prime \cup B^\prime$
24.
$B \setminus A = B \setminus \left(A \cap B\right)$
25.
$B \setminus A^\prime = B \cap A^\prime$
26.
$A \setminus A = \empty$
27.
$\left(A \setminus B\right) \cap C = \left(A \cap B \right) \setminus \left(B \cap C \right)$