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

• A → C.
• B → C.
• (A,B) is a composite determinant.
• C is a determinant.