How are the two collections constructed in the correspondence proof?

The Originator of the World: Necessary Existence, Infinite Regress and the Correspondence Proof