A logical operator representing disjunction ("or") in Boolean algebra and propositional logic.
Examples
Logical OR statement
P \lor Q \text{ is true when either P or Q (or both) are true}
Compound logical proposition
(A \lor B) \land C \implies D
Set union written with logical notation
x \in A \cup B \iff (x \in A) \lor (x \in B)