Az A halmaz a B halmaznak részhalmaza, ha minden A-beli elem B-nek is eleme.
Az A halmaz a B halmaznak valódi részhalmaza, ha minden részhalmaza, de nem egyenlő vele, azaz van a B halmaznak olyan eleme, ami nem eleme az A halmaznak.

a) A∩B=A
Igaz, ha B halmaznak nincs olyan eleme, ami nem eleme az A halmaznak.
Azaz részhalmaza, de nem valódi részhalmaza.

Példa:
A={2,3,5,7}
B={egyjegyű prímszámok}

b) A∪B=B
Igaz. B halmaznak lehet olyan eleme, ami nem eleme az A halmaznak.
Azaz A valódi részhalmaza B-nek.

Példa:
A={2,3,5,7}
B={egyjegyű páratlanszámok}