Boolean algebra General topology Theorems in lattice theory Stone's representation theorem for Boolean algebras