In logic, disjunction is an operation.