In Zermelo-Fraenkel Set Theory For a set , define the successor of to be the set We introduce some names for these: …