stub section for def of "disjoint"