  The purpose of this paper is to establish the foundations of
multi-microlocalization, in particular, to give the fiber formula for the
multi-microlocalization functor and estimate of microsupport of a
multi-microlocalized object. We also give some applications of these results.
