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