existential quantification

lecture

random

tags

Wikipedia