Total relation
ریاضی میں، دو سیٹوں X اور Y کے درمیان ایک بائنری رشتہ R′X × Y کل (یا بائیں کل) ہے اگر ماخذ سیٹ X ڈومین کے برابر ہے {x: xRy کے ساتھ ایک y ہے۔ اس کے برعکس، R کو صحیح کل کہا جاتا ہے اگر Y رینج کے برابر ہو {y: xRy کے ساتھ ایک x ہے}۔ جب f: X → Y ایک فعل ہے، تو f کا ڈومین تمام X کا ہوتا ہے، اس لیے f ایک کل تعلق ہے۔ دوسری طرف، اگر f ایک جزوی فعل ہے، تو ڈومین X کا ایک مناسب ذیلی سیٹ ہو سکتا ہے، جس صورت میں f کل تعلق نہیں ہے۔ "بائنری رشتہ گفتگو کی کائنات کے حوالے سے مکمل کہا جاتا ہے اگر گفتگو کی اس کائنات میں ہر چیز کسی اور چیز کے سلسلے میں کھڑی ہو۔" الجبرائی خصوصیت کل تعلقات کو الجبرائی طور پر مساوات اور عدم مساوات کے ذریعے نمایاں کیا جا سکتا ہے جس میں تعلقات کی ترکیبیں شامل ہیں۔ اس مقصد کے لیے، دو سیٹ ہونے دیں، اور کسی بھی دو سیٹ کے لیے آئیڈینٹی ریلیشن ہونے دیں۔ ہم کسی بھی سیٹ کے لیے کل آئی ایف ایف کے الٹا تعلق کے لیے اشارے استعمال کرتے ہیں اور کوئی بھی مطلب کل آئی ایف ایف ہے۔ اگر کل ہے، تو الٹا سچ ہے اگر کل ہے، تو الٹا سچ ہے اگر کل ہے، تو الٹا سچ ہے اگر زیادہ عام طور پر، اگر کل ہے، تو کسی بھی سیٹ اور کسی بھی سیٹ کے لیے۔ اگر نوٹ حوالہ جات گنتھر شمٹ اور مائیکل ونٹر (2018) ریلیشنل ٹوپولوجی سی۔ برنک، ڈبلیو۔ کہل، اور جی۔ شمٹ (1997) ریلیشنل میتھڈز ان کمپیوٹر سائنس، ایڈوانسز ان کمپیوٹر سائنس، صفحہ 5، گن۔