منطق میں «کلی الف کا فرد کلی ب کے تحت آتا ہے» کہنے کا مطلب یہ ہے کہ اس فرد پر «ب» کی تعریف درست صادق آتی ہے۔ مثال کے طور پر زید پر «انسان» اور «حیوان» دونوں صادق ہیں۔
ہر نسبت کے فیصلے کے لیے 3 سوال بنیادی ہیں:
1. کیا دونوں کے تحت کوئی مشترک فرد ہے؟
2. کیا پہلے کے تمام افراد دوسرے کے تحت آتے ہیں؟
3. کیا دوسرے کے تمام افراد پہلے کے تحت آتے ہیں؟
صرف کسی ایک مشترک فرد کو دیکھ کر تساوی ثابت نہیں ہوتی، اور صرف کسی ایک مختلف فرد کو دیکھ کر تباین ثابت نہیں ہوتی۔ نسبت کا حکم پورے دائرۂ صدق کے بارے میں ہوتا ہے۔