\bigveeThe \bigvee operator represents the logical disjunction (OR) over a set or collection of elements. It is often used in mathematical logic and set theory to denote the supremum or least upper bound of a set of elements.
Logical OR over a collection of sets A_i from 1 to n
\bigvee_{i=1}^{n} A_iLogical OR over a predicate P(x) for all elements x in the set X
\bigvee_{x \in X} P(x)Supremum of a sequence of sets S_k from 0 to infinity
\bigvee_{k=0}^{\infty} S_k