- Nếu A B và B C thì suy ra AC BC.
- Nếu A B và B C suy ra A C.
- Nếu một thuộc tính xác định thuộc tính thứ hai, hoặc xác định thuộc tính thứ ba, khi đó thuộc tính thứ nhất xác định thuộc tính thứ 3.
- Nếu một thuộc tính xác định thuộc tính thứ hai thì nó xác định thuộc tính thứ ba