successorGiven a set S, the successor of S is the set S∪{S}. One often denotes the successor of S by S′.