A matematikában az A halmaz valódi részhalmaza a B halmaznak, ha az A halmaz minden eleme benne van B halmazban, de a két halmaz elemei nem ugyanazok. A pozitív páros számok halmaza például valódi részhalmaza a páros számok halmazának, mivel minden pozitív páros szám egyben páros szám is, de léteznek negatív páros számok is, tehát a két halmaz nem egyenlő.