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

--> ( 1 ) - اين در صورتى است كه محمول و محمول عليه كلى و فرد باشند ، نه در صورتى كه هردو ، كلى متساوى يا غير آن باشد ( مؤلف قدس سره ) . در برخى نسخه‌ها اين جمله داخل متن است نه در پاورقى ( مترجم ) .