زیر مجموعه:

همان­طور که از روی نمودار ون و از روی مجموعه‌­ها قابل مشاهده است، تمام اعضای مجموعه­‌ی F در مجموعه­‌ی D نیز وجود دارد. 

در این صورت می­ گوییم :

مجموعه­ ی F زیرمجموعه­ ی مجموعه­ ی D است.