∃ (there exists)
Tests if a property holds for at least one of the objects in a container.
Syntax
-
∃(X, p)-
Xis a container -
pis a predicate
-
Description
If X is a container and p a predicate, then ∃(X, p) returns true iff p(x) for some x in X.
Notes
exists is a synonym of ∃.
Examples
∃(compute(prime(succ(n)) − prime(n), n, 1, 100000), n ↦ n > 100)
true