If attribute A determines both attributes B and C, then it is also true that:

• A → B.
• B → A.
• C → A.
• (B,C) → A.