disjunction [ OR operation | INCLUSIVE-OR operation | logical add | OR function | alternation | alternation gate | boolean ADD | logical ADD | logical sum | EITHER-OR operation | union ]
union [ réunion | OU | opération OU | OU inclusif | opération OU inclusif ]