>>369
＞BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
違うよ。
答の通り。