Definition of Sub Disjunctione