microlocality

noun2

1. •
   A very small locality.
2. •
   The quality of being microlocal.

   • In particular, we prove microlocality and microellipticity of these operator classes.. — 2015