جامع بودن : مفهومی که در تعریف میآید باید تمام مصادیق مفهوم مورد تعریف را شامل شود، برای مثال این تعریف از انسان جامع نیست :
انسان : حیوان راننده
چون حیوان راننده تمام انسان هارا شامل نمیشود به عبارت دیگر انسان هایی هم هستند که راننده نیستند
مانع بودن : باید تعریف به گونه ای باشد که فقط مصادیق مفهوم مورد تعریف را شامل شود ، یعنی مصادیق مفهوم دیگری را شامل نشود.
مثال : مربع : شکلی چهار ضلعی / چون مستطیل و لوزی را نیز شامل میشود پس مانع نیست
دوری نبودن : اگر یک مفهوم را با خودش تعریف کنند ، به عبارتی دیگر از خود آن مفهوم در تعریفش هم استفاده کنند ، آن تعریف را تعریف دوری می گویند