By identifying types whose low-order beliefs up to level li about the state of nature coincide, we obtain quotient type spaces that are typically smaller than the original ones, preserve basic topological properties, ...