let disj = PSet.union