- Hiệu của các quan hệ cũng là quan hệ
- Các bộ quan hệ kết quả là các bộ của các quan hệ nguồn.
- Các quan hệ tham gia phép trừ không cần phải khả hợp.
- Hiệu của các quan hệ khả hợp cũng là quan hệ khả hợp.