برای تعریف جامع و مانع از یک مفهوم، باید همۀ ویژگیهای اساسی آن مفهوم را دربرگیرد (جامع) و در عین حال، آن را از مفاهیم دیگر متمایز کند (مانع).
ماهی مهرهداری که دارای آبشش است: این تعریف تا حدی جامع است زیرا به ویژگیهای ماهی اشاره میکند. اما برای جامع و مانع بودن باید دید آیا همۀ ماهیها را دربرمیگیرد و آیا فقط مختص ماهیهاست؟
- آیا همه ماهیها مهرهدار و آبششدار هستند؟ بله.
- آیا چیز دیگری هست که این تعریف را داشته باشد ولی ماهی نباشد؟ خیر.
پس این تعریف هم جامع است و هم مانع.