> 関数従属A→BCは、A→BかつA→Cを意味しているので、

ここがわからん。
BCが和集合なら A→BC は  A→BまたはA→C を意味しそうなもんだが
関数従属というのはそういうものじゃないのか？