Add a more efficient implementation of minusSet