Definition:Inclusive Disjunction