راهنمایی کوتاه: در منطق، طبقهٔ بالاتر نسبت به هر طبقهٔ زیرمجموعهٔ خود رابطهٔ «عام و خاص مطلق» دارد.
گام‌به‌گام:
- ۱) طبقهٔ بالاتر را «عام» و طبقهٔ پایین‌تر را «خاص» در نظر بگیر.
- ۲) بررسی کن هر فردی که در زیرمجموعهٔ پایین‌تر است، حتماً در مجموعهٔ بالاتر هم باشد.
- ۳) بررسی کن آیا همهٔ افراد مجموعهٔ بالاتر در زیرمجموعه هستند یا نه؛ معمولاً همه نیستند.
- ۴) اگر همهٔ افراد زیرمجموعه در بالاتر باشند ولی همهٔ افراد بالاتر در زیرمجموعه نباشند، رابطه «عموم و خصوص مطلق» است.
پاسخ نهایی: رابطهٔ «عام و خاص مطلق» یا «عموم و خصوص مطلق». یعنی هر فرد از زیرمجموعه، فردی از طبقهٔ بالاتر هم هست؛ اما هر فرد از طبقهٔ بالاتر لزوماً در آن زیرمجموعه نیست.
مثال مشابه: «حیوان» و «انسان»؛ هر انسان حیوان است، ولی هر حیوان انسان نیست. پس «حیوان» عام و «انسان» خاص است.
اگر می‌خواهی بیشتر یاد بگیری: اگر همهٔ زیرمجموعه‌ها با هم همهٔ افراد طبقهٔ بالا را بپوشانند، مجموع آن‌ها با طبقهٔ بالا برابر می‌شود؛ ولی رابطهٔ هر زیرمجموعه با طبقهٔ بالا همان عموم و خصوص مطلق می‌ماند.
