関数従属性と推移的従属性の基礎

次の関数従属を満足するとき，成立する推移的関数従属はどれか。

ここで，
A → Bは,
BがAに関数従属していることを表し，

A →｛B，C｝は，
A → B且つA → Cが成立することを表す。