Microlocal operations and their boundaries

A switch can remove a distribution on an open region where it vanishes. The lemma only excludes local regularization by multiplication with a nonvanishing smooth switch.