تعریف جامع و مانع

تعریف جامِع و مانِع
در اصطلاح منطق، تعریفی که همۀ افراد معرَّف را دربر گیرد (جامع بودن) و اغیار یعنی افرادی را که در شمار افراد معرَّف نیستند، شامل نشود (مانع بودن)؛ مثل تعریف انسان به «حیوان ناطق» که جامع همۀ افراد انسان و مانع ورود غیرانسان در تعریف است. تعریفی جامع و مانع است که نسبت بین معرِّف و معرَّف، نسبت تساوی باشد، چنان که بین «انسان» (معرَّف) و «حیوان ناطق» (معرِّف) نسبت تساوی برقرار است.