existential quantifer

[ریاضیات] سور وجودی، کم جزئی