non empty set

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