Legyen A és B két tetszőleges halmaz. Mikor mondjuk, hogy A részhalmaza B-nek?

Az A halmaz részhalmaza [része] a B halmaznak, ha az A halmaz minden eleme egyben a B halmaznak is eleme. A részhalmaza B-nek, és B-nek nincs A-hoz nem tartozó eleme.