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 .