கேள்வி: ஈருறுப்புச் சார்பு குறித்து விரிவாக சொல்லுங்கள்.
பதில்: கணிதம், ஈருறுப்புச் சார்பு (''binary function'') (இருமாறி சார்பு அல்லது இரண்டு மாறிகளின் சார்பு என்றும் அழைக்கப்படுகிறது) என்பது இரண்டு உள்ளீடுகளைக் கொண்ட சார்பு ஆகும். அதாவது, : \,f \colon X \times Y \rightarrow Z என வரையறுக்கக்கூடியபடி X, Y, Z கணங்கள் இருக்குமானால் f ஒரு ஈருறுப்புச் சார்பாகும். இங்கு X \times Y கார்ட்டீசியன் பெருக்கற்பலன்இன்கார்ட்டீசியன் பெருக்கற்பலன்.
கேள்வி: ஈருறுப்புச் சார்பு - மாற்று வரையறைகள் பற்றி நீங்கள் என்ன அறிந்துள்ளீர்கள்?
பதில்: * கணக் கோட்பாட்டில், ஈருறுப்புச் சார்பானது X \times Y \times Z என்ற கார்ட்டீசியன் பெருக்கற்பலன் உட்கணம் கொள்ளப்படுகிறது. இங்கு, f(x,y) = z என "இருந்தால், இருந்தால் மட்டுமே" (x,y,z) ஆனது, சார்பைக் குறிக்கும் உட்கணத்தில் இருக்கும். மறுதலையாக, x \in X , y \in Y எனும்போது (x,y,z) ஆனது R இல் உள்ளவாறு ஒரு தனித்துவமான z \in Z "இருந்தால், இருந்தால் மட்டுமே" R என்ற உட்கணமானது ஒரு ஈருறுப்புச் சார்பை வரையறுக்கும். மேலும் f(x,y) = z எனவும் வரையறுக்கப்படும். * X \times Y இலிருந்து Z க்கு அமைந்த ஒரு எளிய சார்பு ஈருறுப்புச் சார்பை வரையறுக்கலாம். இந்த முறையில் வரையறை செய்யும்போதும் f((x,y)) க்குப் பதிலாக f(x,y) என்றே எழுதப்படுகிறது. (அதாவது, ஒரே சோடி அடைப்புக்குறிகள் சார்பின் செயற்பாடு, வரிசைச் சோடி அமைப்பு ஆகிய இரண்டையும் குறிக்கப் பயன்படுத்தப்படுகின்றன. )
கேள்வி: ஈருறுப்புச் சார்பு - சாதாரண சார்புகளுக்கான கட்டுப்பாடுகள் குறித்து விரிவாக சொல்லுங்கள்.
பதில்: ஈருறுப்புச் சார்பிலிருந்து ஒரு மாறியிலமைந்த சாதாரண சார்பு ஒன்றைப் பெற முடியும். x \in X எனில், Y இலிருந்து Zக்கு வரையறுக்கப்படும் சார்பு ( f^x, அல்லது f(x,\cdot)):f^x(y) = f(x,y). *இதேபோல் y \in Y எனில், X இலிருந்து Z க்கு வரையறுக்கப்படும் சார்பு (f_y, அல்லது f(\cdot,y)): f_y(x) = f(x,y) .
கேள்வி: ஈருறுப்புச் சார்பு - பொதுமைப்படுத்தல்கள் என்பது என்ன?
பதில்: *சார்புகள் தொடர்பான பல்வேறு கருத்துருக்களை ஈருறுப்புச் சார்புகளுக்கும் பொதுமைப்படுத்தப்படலாம்: எடுத்துக்காட்டாக, *ஈருறுப்புச் சார்பான வகுத்தல் ஒரு ''முழுக்கோப்பு'' ஆகும். ஏனெனில் ஒவ்வொரு விகிதமுறு எண்ணையும் ஒரு முழு எண் மற்றும் ஒரு இயல் எண்ணின் விகிதமாக எழுதலாம். * இதேபோல ''f'' ''x'' மற்றும் ''f'' ''y'' இரண்டும் எப்போதும் உள்ளிடு கோப்புகளாக இருப்பதால் வகுத்தல் ஒவ்வொரு உள்ளீட்டிற்கும் தனித்தனியாக உள்ளிடுகோப்பு இருக்கும். ஆனால் வகுத்தலானது இரண்டு மாறிகளிலும் ஒரே சமயத்தில் உள்ளிடுகோப்பு இருக்காது. :எடுத்துக்காட்டு: : ''f'' (2,4) = ''f'' (1,2). *பகுதி ஈருறுப்பு சார்புகளையும் கருத்தில் கொள்ளலாம். இவற்றை குறிப்பிட்ட உள்ளீடு மதிப்புகளுக்கு மட்டுமே வரையறுக்க முடியும். :எடுத்துக்காட்டாக: : N ஐ பூச்சியம் உட்பட அனைத்து இயல் எண்களின் கணமாக எடுத்துக்கொண்டால், வகுத்தலை Z மற்றும் N இலிருந்து Q க்கு வரையறுக்கப்படும் பகுதி ஈருறுப்புச் சார்பாகக் கொள்ளலாம். ஆனால் இரண்டாவது உள்ளீடு பூச்சியமாக இருக்கும்போது வகுத்தல் சார்பு வரையறுக்கப்படவில்லை. * ''X'', ''Y'', மற்றும் ''Z'' ஆகிய மூன்றும் சம கணங்களாக இருந்தால் ஈருறுப்புச் செயல் ஈருறுப்புச் சார்பாக இருக்கும். இயற்கணித அமைப்புகளை வரையறுக்க ஈருறுப்புச் செயலிகள் பெரும்பாலும் பயன்படுத்தப்படுகின்றன.