Create disjoint.h