add notes on subspaces, including the lattice of subspaces