disjunction

An operator used to assert that at least one of two (or more) parts of a concept definition or expression constraint must be true.

Disjunction can be represented by the OR operator. A disjunction of A with B, means that either A OR B must be true.
Disjunction gives the same result as an UNION between the set of concepts or expressions for which A is true and the set of concepts or expressions for which B is true.

Related Links