- Hai bộ bất kỳ trùng nhau trên A thì khác nhau trên B.
- Hai bộ bất kỳ thoả trên trên A thì thoả trên B.
- Hai bộ bất kỳ khác nhau trên A thì cũng khác nhau trên B.
- Áp dụng liên tiếp các hệ tiên đề Armstrong