1.6.3 Halmazok különbsége
Adott A és B halmaz, az A és B halmazok különbségén az A halmaz azon elemeinek a halmazát értjük, melyek az A halmaznak elemei, de a B halmaznak nem elemei. Jele:\
Venn-diagrammal ábrázolva:
Tulajdonságok:
-
, azaz a különbségképzés művelete nem kommutatív.
-
, azaz a különbségképzés művelete nem asszociatív.
-
.
-
ha
, akkor
azaz
a B halmaz A halmazra vonatkoztatott komplementer halmaza.
-
, azaz
és
halmazok diszjunktak.
-
és
valamint
.