implemented Disjoin on Sets