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