phép hiệu
Dẫn nhập
Tập hợp X không tự nhiên tồn tại;
Thực tế tập hợp X được hợp lập bằng phép hợp.
Phép hiệu, phép phân là phép ngược của phép hợp.
Phép hợp và phép hiệu, phép phân, ở bất kỳ cách diễn đạt nào bằng ngôn ngữ thông thường, cùng đồng nhất ở một nguyên lý toán tập hợp.
Kiến tạo từ
Loại (ra)
trừ (ra)
Tách (ra)
Hệ quả của phép hiệu ở góc nhìn tập hợp: thu nhỏ tập hợp;
Hệ quả của phép hiệu ở góc nhìn phần tử: sự tồn tại của phần tử thuộc tập hợp giảm xuống; (chưa tư duy về mặt số học)

