A U B \ A = B \ A?

( A U B ) \ A = B \ A

Igaz.

Venn diagrammal szemléletesen meg lehet mutatni:

[link]

A ^ B (metszet) a halmaz azon része, ami B-ben is és A-ban is benne van. A U B azon részek halmaza, ami mindkettőben legalább egyszer benne van. A U B \ A azon része, ami csak B -ben van benne egyszer, és Aban nincs. Tehát azonos B \ A val.