والمقصود من الانحلال في هذا الفرض هو سريان العلم بالجامع الى جامع آخر واقع في ضمن دائرة أضيق من دائرة العلم الأول.

ومعنى الانحلال انّ العلم الإجمالي الكبير لا ينجّز تمام أطرافه ، وتنجّز الأطراف الواقعة في ضمن دائرة العلم الاجمالي الصغير انّما هو بسبب العلم الاجمالي الصغير ، وأما العلم الإجمالي الكبير فقد سقط عن المنجّزيّة لتمام أطرافه.

وهذا النحو من الانحلال يمكن تصويره بنحو الانحلال الحقيقي كما يمكن تصويره بنحو الانحلال الحكمي.

ومثال الصورة الاولى ما لو علم المكلّف انّ خمسا من شياه في قطيع ـ يساوي عشرين شاة ـ قد تغذت على لبن خنزيرة ، فجامع العلم الإجمالي في المثال هو خمس شياه من عشرين ، فلو تحوّل العلم بعد ذلك الى علم بتغذّي خمس شياه من عشر من القطيع هي العشر البيض منها فإنّ العلم الإجمالي ينحلّ حينئذ الى علم اجمالي آخر بحرمة خمس شياه من العشر البيض وشك بدوي في العشرة الباقية.

ومنشأ الانحلال هو سراية الجامع من العلم الإجمالي الاول الى جامع آخر واقع في دائرة أضيق من دائرة العلم الاجمالي الاول الكبير.

ومثال الصورة الثانية هو عينه مثال الصورة الاولى إلاّ انّ الانحلال لم ينشأ عن العلم بسريان الجامع من العلم الاول الكبير الى العلم الاجمالي الصغير وانّما نشأ عن قيام الأمارة أو أصل منجّز بالتفصيل الذي ذكرناه في الانحلال الحكمي.

وبهذا يتضح ان انحلال العلم الإجمالي الكبير بالصغير منوط بتوفره على شرطين :

الاول : ان تكون أطراف العلم الإجمالي الصغير بعض أطراف العلم الإجمالي الكبير ، فلو كانت أطراف العلم الاجمالي الثاني مباينة لأطراف العلم الإجمالي الكبير فإنّه لا يكون من انحلال العلم الاجمالي الكبير بالصغير ، فلو علمنا انّ خمسا من عشرين شاة قد تغذت على لبن خنزيرة ثم علمنا انّ خمسا من عشرة قد تغذت على لبن خنزيرة ولم تكن هذه العشرة بعض أطراف العلم الاول ، فإنّ العلم الاجمالي الاول لا ينحل بالثاني بل هما علمان اجماليان متباينان ، وهكذا لو كانت بعض أطراف العلم الإجمالي الثاني من غير أطراف العلم الإجمالي الاول ، كما لو كانت خمس شياه من العلم الاجمالي الثاني من غير أطراف العلم الإجمالي الاول على تفصيل في هذا الفرض.

الثاني : ان يكون مقدار المعلوم بالإجمال في العلم الإجمالي الثاني مساويا للمقدار المعلوم بالإجمال في العلم الإجمالي الكبير كما هو في المثال.

أما لو كان مقدار المعلوم بالإجمال في العلم الإجمالي الثاني أقل من مقدار المعلوم بالإجمال في العلم الإجمالي الاول الكبير فإنّ العلم الإجمالي الكبير لا ينحل. فلو علمنا انّ أربعا من الشياه الخمس واقعة في ضمن العشر البيض فإنّ العلم الإجمالي الكبير يظلّ منجّزا لتمام أطرافه بسبب العلم الاجمالي بوجود شاة واحدة من بين العشرين قد تغذت على لبن خنزيرة ، وهذا ما يبرّر عدم الانحلال.