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