Definition:Disjunction of Set