لذاتيهما: والمراد بالمحلّ الواحد مطلَقُ الموضوع، ولو بحسب فرض العقل، حتّى يشمل تقابُلَ الإيجاب والسلب، حيث إنّ متن القضيّة كالموضوع لهما: وتقييد التعريف ب «جهة واحدةٍ» لإخراج ما اجتمع منهما في شي ء واحدٍ من جهتَيْن، ككون زيد أباً لعمرو وابناً لبكر؛ والتقييد ب «وحدة الزمان»، ليشمل ما كان من التقابل زمانيّاً، فليس عَرْضُ الضدّين لموضوعٍ واحدٍ في زمانين مختلفَيْن ناقضاً للتعريف.
ولا ينتقض التعريف بالمثلَيْن الممتنع إجتماعهما عقلاً، لأنّ أحد المثلَيْن لا يدفع الآخَر بذاته التي هي الماهيّة النوعيّة المشتركة بينهما، وإنّما يمتنع إجتماعهما لاستحالة تكرُّرِ الوجود الواحد - كما تقدّم في مباحث الوجود - ولا ينتقض أيضاً بنقيض اللازم وعين الملزوم، فإنّ نقيض اللازم إنّما يعاند عينَ الملزوم
