فاللازم للماهية ما يمتنع انفكاكه عن الماهية من حيث هي هي، مع قطع النظر عن العوارض، كالزوجية للأربعة، فان تصور ماهية الأربعة يمنع انفكاك الزوجية عنها. و اما اللازم للوجود، فهو ما يمتنع انفكاكه عن الشي‌ء باعتبار وجوده الخارجي، كاللونية للجسم، فهي لازمة له باعتبار وجوده المشخص، لا باعتبار ماهيته.

و فرقوا بين‌ المقوم و اللازم‌ فقالوا: المقوم هو الذي لا يمكن تصور ماهية الشي‌ء الّا به، كالحيوانية للانسان، اما اللازم فهو و ان كان ذاتيا لا ينفك عن الشي‌ء، إلا انه لا يدخل في مقومات ماهيته، كمساواة زوايا المثلث لقائمتين، فهي لا تدخل في تعريف المثلث.

قال ابن سينا: «يشترك المقوم و اللازم في ان كل واحد منهما لا يفارق الشي‌ء، و يشترك اللازم و العارض في ان كل واحد منهما خارج عن حقيقة الشي‌ء، لا حق بعدها» (المنطق ١٤).

و اللازم بيّن او غير بيّن، فاللازم البين‌ هو الذي يكفي تصوره مع تصور ملزومه في جزم العقل باللزوم بينهما، كالانقسام بمتساويين للأربعة، فان من تصور الأربعة و تصور الانقسام بمتساويين جزم، بمجرد تصورهما، بأن الأربعة منقسمة بمتساويين (تعريفات الجرجاني) و اللازم غير البين‌ هو الذي يفتقر جزم الذهن باللزوم بينهما الى وسط، كمساواة زوايا المثلث لقائمتين،