Now successors and predecessors are Sets