并集formula_62也属于该集合；定义为冯·诺伊曼序数formula_63。重复这个过程，所有的自然数都通过其冯·诺伊曼序数在超结构中表现出来。然后，若formula_64和formula_65属于这个超结构，则formula_66（这个集合表示了有序对formula_67）也属于它。从而，这个超结构将包含各种所想要的笛卡尔积。而且，这个超结构也包含各种函数和关系，因为他们可以被表示为笛卡尔积的子集。以及，还能够得到有序"n"元组，表示定义域为冯·诺伊曼序数formula_68的函数。等等。所以，就