কথোপকথন সম্পর্ক

গণিতে, বাইনারি সম্পর্কের কথোপকথন হল সেই সম্পর্ক যা উপাদানগুলির ক্রম সম্পর্কের মধ্যে পরিবর্তন করা হলে ঘটে। যেমন কথোপকথন সম্পর্কের 'শিশু এর' সম্পর্ক 'পিতামাতা এর'। আনুষ্ঠানিক পদে, যদি formula_1 এবং formula_2 সেট এবং formula_3 থেকে একটি সম্পর্ক formula_1 থেকে formula_5 তারপর formula_6 সম্পর্ক তাই সংজ্ঞায়িত করা হয় formula_7 যদি এবং শুধুমাত্র যদি formula_8 সেট-বিল্ডার নোটেশনে
যেহেতু একটি সম্পর্ক একটি যৌক্তিক ম্যাট্রিক্স দ্বারা প্রতিনিধিত্ব করা যেতে পারে, এবং কথোপকথন সম্পর্কের যৌক্তিক ম্যাট্রিক্স হল মূলের স্থানান্তর, তাই কনভার্স রিলেশনকে ট্রান্সপোজ রিলেশনও বলা হয়। এটিকে মূল সম্পর্কের বিপরীত বা দ্বৈতও বলা হয়েছে, মূল সম্পর্কের বিপরীত, বা পারস্পরিক সম্পর্ক formula_10 সম্পর্কে formula_11
কথোপকথন সম্পর্কের জন্য অন্যান্য স্বরলিপি অন্তর্ভুক্ত formula_12 বা formula_13
একটি বিপরীত ফাংশনের জন্য স্বরলিপিটি তার সাথে সাদৃশ্যপূর্ণ। যদিও অনেক ফাংশনের একটি বিপরীত নেই, প্রতিটি সম্পর্কের একটি অনন্য কথোপকথন আছে। কথোপকথন সম্পর্কের সাথে একটি সম্পর্ককে ম্যাপ করে এমন ইউনারি অপারেশন হল একটি ইনভল্যুশন, তাই এটি একটি সেটে বাইনারি সম্পর্কের উপর ইনভল্যুশন সহ একটি সেমিগ্রুপের গঠনকে প্ররোচিত করে, বা, আরও সাধারণভাবে, নীচে বিশদ হিসাবে সম্পর্কের বিভাগে একটি ড্যাগার বিভাগকে প্ররোচিত করে . একটি ইউনারি অপারেশন হিসাবে, কনভার্স গ্রহণ করা (কখনও কখনও রূপান্তর বা স্থানান্তর বলা হয়) সম্পর্কের ক্যালকুলাসের অর্ডার-সম্পর্কিত ক্রিয়াকলাপগুলির সাথে যাতায়াত করে, অর্থাৎ এটি মিলন, ছেদ এবং পরিপূরকের সাথে যাতায়াত করে।
স্বাভাবিক (হয়তো কঠোর বা আংশিক) ক্রম সম্পর্কের জন্য, কথোপকথনটি সহজভাবে প্রত্যাশিত "বিপরীত" ক্রম, উদাহরণের জন্য, formula_14
একটি সম্পর্ক একটি লজিক্যাল ম্যাট্রিক্স দ্বারা প্রতিনিধিত্ব করা যেতে পারে যেমন formula_15
তারপর কথোপকথন সম্পর্ক তার ট্রান্সপোজ ম্যাট্রিক্স দ্বারা প্রতিনিধিত্ব করা হয়: formula_16
আত্মীয়তার সম্পর্কের কথোপকথনের নাম দেওয়া হয়েছে: " formula_17 এর একটি শিশু formula_18 "কথোপকথন আছে" formula_18 এর একজন অভিভাবক formula_17 " " formula_17 এর ভাগ্নে বা ভাগ্নি formula_18 "কথোপকথন আছে" formula_18 এর একজন চাচা বা খালা formula_17 " সম্পর্ক" formula_17 এর ভাইবোন formula_18 " এর নিজস্ব কথোপকথন, যেহেতু এটি একটি প্রতিসম সম্পর্ক।
একটি সেটে বাইনারি এন্ডোরেলেশনের মনোয়েডে (সম্পর্কের উপর বাইনারি অপারেশনটি সম্পর্কের সংমিশ্রণে ) কথোপকথন সম্পর্কটি গ্রুপ তত্ত্ব থেকে বিপরীতের সংজ্ঞাকে সন্তুষ্ট করে না, অর্থাৎ যদি formula_27 উপর একটি স্বেচ্ছাচারী সম্পর্ক formula_28 তারপর formula_29 পরিচয় সম্পর্কের সমান formula_1 সাধারণভাবে কথোপকথন সম্পর্ক অন্তর্ভূক্তি সহ একটি সেমিগ্রুপের (দুর্বল) স্বতঃসিদ্ধকে সন্তুষ্ট করে: formula_31 এবং formula_32 
যেহেতু কেউ সাধারণত বিভিন্ন সেটের মধ্যে সম্পর্ক বিবেচনা করতে পারে (যা মনোয়েডের পরিবর্তে একটি বিভাগ গঠন করে, যেমন সম্পর্কের বিভাগ Rel ), এই প্রসঙ্গে কথোপকথন সম্পর্কটি একটি ড্যাগার বিভাগের স্বতঃসিদ্ধ (ওরফে অন্তর্ভূক্তি সহ বিভাগ)। এর কনভার্সের সমান একটি সম্পর্ক একটি প্রতিসম সম্পর্ক ; ড্যাগার বিভাগের ভাষায়, এটি স্ব-সংলগ্ন ।
তদুপরি, একটি সেটে এন্ডোরেলেশনের সেমিগ্রুপটিও একটি আংশিকভাবে সাজানো কাঠামো (সম্পর্ককে সেট হিসাবে অন্তর্ভুক্ত করার সাথে), এবং আসলে একটি অনিচ্ছাকৃত কোয়ান্টেল । একইভাবে, ভিন্নধর্মী সম্পর্কের বিভাগ, Rel ও একটি আদেশকৃত বিভাগ। 
সম্পর্কের ক্যালকুলাসে, (কনভার্স রিলেশন নেওয়ার ইউনারী অপারেশন) ইউনিয়ন এবং ইন্টারসেকশনের অন্যান্য বাইনারি অপারেশনের সাথে যাতায়াত করে। কনভার্সন কমপ্লিমেন্টেশনের ইউনারি অপারেশনের পাশাপাশি সুপ্রেমা এবং ইনফিমা গ্রহণের সাথেও চলাচল করে। রূপান্তর অন্তর্ভুক্তির মাধ্যমে সম্পর্কের ক্রম অনুসারেও সামঞ্জস্যপূর্ণ। 
যদি একটি সম্পর্ক প্রতিফলিত, অপরিবর্তনীয়, প্রতিসম, প্রতিসাম্যহীন, অপ্রতিসম, ট্রানজিটিভ, সংযুক্ত, ট্রাইকোটোমাস, একটি আংশিক ক্রম, মোট আদেশ, কঠোর দুর্বল ক্রম, মোট প্রি-অর্ডার (দুর্বল ক্রম), বা একটি সমতুল্য সম্পর্ক হয় তবে এর কনভার্সও হয়।
যদি formula_33 পরিচয় সম্পর্ক প্রতিনিধিত্ব করে, তারপর একটি সম্পর্ক formula_34 নিম্নরূপ একটি বিপরীত হতে পারে: formula_34 বলা হয়
একটি অপরিবর্তনীয় সমজাতীয় সম্পর্কের জন্য formula_42 সমস্ত ডান এবং বাম বিপরীতগুলি মিলে যায়; এই অনন্য সেট বলা হয় তার এবং এটি দ্বারা চিহ্নিত করা হয় formula_43 এই ক্ষেত্রে, formula_44 ধারণ করে 
একটি ফাংশন ইনভার্টেবল হয় যদি এবং শুধুমাত্র যদি এর কথোপকথন সম্পর্ক একটি ফাংশন হয়, যে ক্ষেত্রে কনভার্স রিলেশনটি বিপরীত ফাংশন হয়।
একটি ফাংশনের কথোপকথন সম্পর্ক formula_45 সম্পর্ক formula_46 দ্বারা সংজ্ঞায়িত formula_47
এটি অগত্যা একটি ফাংশন নয়: একটি প্রয়োজনীয় শর্ত হল যে formula_48 ইনজেকশন হতে, অন্য থেকে formula_49 বহু-মূল্যবান । এই অবস্থার জন্য যথেষ্ট formula_49 একটি আংশিক ফাংশন হচ্ছে, এবং এটা স্পষ্ট যে formula_49 তাহলে একটি (মোট) ফাংশন যদি এবং শুধুমাত্র যদি formula_48 অনুমানমূলক হয় সেই ক্ষেত্রে, মানে যদি formula_48 দ্বিমুখী হয়, formula_49 এর বিপরীত ফাংশন বলা যেতে পারে formula_55
উদাহরণস্বরূপ, ফাংশন formula_56 বিপরীত ফাংশন আছে formula_57
যাইহোক, ফাংশন formula_58 বিপরীত সম্পর্ক আছে formula_59 যা একটি ফাংশন নয়, বহু-মূল্যবান।
সম্পর্কের গঠন ব্যবহার করে, কথোপকথনটি মূল সম্পর্কের সাথে তৈরি করা যেতে পারে। উদাহরণস্বরূপ, এর কথোপকথনের সাথে গঠিত উপসেট সম্পর্কটি সর্বদা সর্বজনীন সম্পর্ক:
এখন সেট সদস্যতা সম্পর্ক এবং তার কথোপকথন বিবেচনা করুন.
এভাবে formula_61 বিপরীত রচনা formula_62 সার্বজনীন সম্পর্ক।
রচনাগুলি টাইপ অনুসারে সম্পর্ককে শ্রেণীবদ্ধ করতে ব্যবহৃত হয়: একটি সম্পর্কের জন্য "Q", যখন "Q-" এর পরিসরে পরিচয় সম্পর্ক "Q" "Q" ধারণ করে, তখন "Q কে" বলা হয় "অভিন্ন" । যখন "Q-" এর ডোমেনের পরিচয় সম্পর্ক "QQ" এ থাকে, তখন "Q কে" "মোট" বলা হয়। যখন "Q" একই এবং মোট উভয়ই হয় তখন এটি একটি "ফাংশন" । যখন "Q" সমতুল্য হয়, তখন "Q কে" "ইঞ্জেকটিভ" বলা হয়। যখন "Q" মোট হয়, তখন Q কে "surjective" বলা হয়।
যদি "Q" একক হয়, তাহলে "QQ" হল "Q" এর ডোমেনে একটি সমতুল্য সম্পর্ক, ট্রানজিটিভ রিলেশন#রিলেটেড বৈশিষ্ট্য দেখুন।