Mängder, problem med delmängder m.m

Äkta delmängd är inte samma sak som disjunkt. Att P är en delmängd av R betyder att varje element som finns i P finns även i R. En mängd är alltid en delmängd av sig själv, så R är en delmängd av R. Att P är en äkta delmängd av R betyder att P inte är R, dvs det finns element i R som inte finns i P.

Sammanfattat:
P är en äkta delmängd av R om varje element i P även finns i R, och det finns minst ett element i R som inte finns i P.