আমি জুডিয়া পার্লের "কার্যকারিতা" (দ্বিতীয় সংস্করণ ২০০৯) এবং বিভাগ ১.১.৫ শর্তসাপেক্ষে শর্তাধীন স্বাধীনতা এবং গ্রাফয়েডগুলি পড়ছি:
শর্তাধীন স্বাধীনতা সম্পর্কের (X_ || _Y | জেড) দ্বারা সন্তুষ্ট বৈশিষ্ট্যের নীচে (আংশিক) তালিকাটি নীচে দেওয়া হয়েছে।
- প্রতিসম: (এক্স_ || _ ওয়াই | জেড) ==> (ওয়াই_ || _ এক্স | জেড)।
- পচন: (X_ || _ YW | Z) ==> (এক্স_ || _ওয়াই | জেড)।
- দুর্বল ইউনিয়ন: (এক্স_ || _ ওয়াইডাব্লু | জেড) ==> (এক্স_ || _ওয়াই | জেডডাব্লু)।
- সংকোচন: (এক্স_ || _ ই | জেড) এবং (এক্স_ || _ ডাব্লু | জেডওয়াই) ==> (এক্স_ || _ ওয়াইডাব্লু | জেড)।
- ছেদ করা: (এক্স_ || _ ডাব্লু | জেডওয়াই) এবং (এক্স_ || _ ই | জেডডাব্লু) (এক্স_ || _ ওয়াইডাব্লু | জেড)।
(আন্তঃসংযোগ কঠোরভাবে ইতিবাচক সম্ভাবনা বিতরণের ক্ষেত্রে বৈধ )
(সূত্র (1.28) প্রকাশের পূর্বে দেওয়া: [(এক্স_ || _ ই | জেড) iff পি (এক্স | ওয়াই, জেড) = পি (এক্স | জেড))
তবে সাধারণভাবে "কঠোর ইতিবাচক বিতরণ" কী এবং কোন "কঠোর ইতিবাচক বিতরণ" আলাদা করে এমন একটি বিতরণ গঠন করে যা কঠোরভাবে ইতিবাচক নয়?