nonempty subset

[ریاضیات] زیرمجموعه ی ناتهی