Definition of Disjunctim