Definíció: Az A halmaz részhalmaza a B halmaznak, ha az A halmaz minden eleme egyben a B halmaznak is eleme.
Definíció: Az A halmaz valódi részhalmaza B-nek, ha részhalmaza, de nem egyenéő vele.