এবং বি ' এর সাব-সেট নির্বাচন পরিবার উপাদান এক্স
Warp
জন্য যে যুগল এবং যদি এক্স ∈ গ ( বি ) , তারপর যদি Y ∈ গ ( বি ' ) , এক্স আবশ্যক ∈ গ ( বি ' ) ।
চয়েস সঙ্গতি
জন্য খুবই যুগল এবং যদি এক্স ∈ গ ( বি ) এবং Y ∉ গ ( বি ) , তারপর Y আবশ্যক ∉ গ ( বি ' ) ।
এই দুটি সমতুল্য। যদি হ্যাঁ, তবে কীভাবে আমরা এটি প্রমাণ করতে পারি?