non void

[ریاضیات] غیر تهی، ناتهی