Definition of DISJUNCTIVE TERM