قال صاحب السلم
شروط التعريف
٤٥ وشرط كلِّ أن يُرَى مُطَّرِدَا مُنْعَكِسا وظاهرا لا أبعدا ٤٦- ولا مُسَاويًا ولا تَجَوُّزًا ** بلا قرينة بها تُحرزا ٤٧- ولا بما يدري بمحدود ولا *** مشترك من القرينة خلا ٤٨- وعندهم من جملة المردود *** أن تدخل الأحكام في الحدود ٤٩- ولا يجوز في الحدود ذِكْرُ أو *** وجائز في الرسم فادرِ ما رَوَوا ١- أن يكون التعريف مطردًا منعكسًا جامعا مانعا يعني جامعا لجميع أفراد المعرف بحيث لا يخرج عنه فرد ومانعا من دخول غير المعرف فيه وذلك مثل تعريف الإنسان بأنه حيوان ناطق فهذا التعريف جامع لجميع أفراد الإنسان ومانع من دخول غير الإنسان فيه
أما لو عرفنا الإنسان بأنه جسم نام فهذا التعريف لا يمنع دخول النبات فهو جسم نامِ ولا يمنع من دخول الفرس والجمل لأن كلا منهما جسم نام
فهذا التعريف غير مانع فلا يصح
وإذا عرفنا الحيوان بأنه جسم مُفَكِّر فهذا التعريف غير جامع لأفراد الحيوان فهو لا يصدق على الفرس والجمل مثلا ولهذا لا يكون التعريف صحيحًا لأنه غير جامع الجميع أفراد المعرف