وقتی دو مفهوم نسبت به هم از جهتی عام و از جهتی خاص باشند، نسبتشان عموم و خصوص من وجه است؛ يعنی هر كدام از آن‌ها مصداقی دارند كه مصداق ديگری محسوب نمی‌شود. در اين حالت، اگر يكی از اين دو مفهوم «معرَّف» و دیگری «معرِّف» باشند. پس تعريف نه جامع است و نه مانع؛ زيرا برخی مصاديق «معرِّف» شامل «معرَّف» نمی‌شوند و بالعكس.