>>776
>まずAとBが一意に決まっていると仮定する
ここ最後に仮定から確定に変える作業しないと全部仮定の話になりません？
{A,B}→C、にはA->Bという意味は含まれてなくないですか？