Definition 10

One calls crushing of T for $\mu$, or $\mu$-crushing, any locally countable family $(K_\alpha)_{\alpha \in A}$ of pairwise disjoint compact subsets of T such that the set $N = T - \bigcup_{\alpha \in A} K_\alpha$ is locally $\mu$-negligible.