disjunction
Related entries include:
alternation
;