زیرخمینه

زیرمجموعه‏ای از یک خمینه که خود یک خمینه باشد و نگاشتی با دیفرانسیل ناتکین از آن به خمینۀ مفروض موجود باشد