，还能够得到有序"n"元组，表示定义域为冯·诺伊曼序数formula_68的函数。等等。所以，就算仅从formula_69出发，也可以构造大量的用于数学研究的集合，它们都是在{}上的超结构里的某个元素。但是，这样formula_70的每个元素都会是有限集合。每个自然数都属于formula_70，但“所有”自然数的集合formula_72不属于formula_70（尽管它是formula_70的“子集”）。实际上，"formula_18"上的超结构包含了所有的遗传有限集合。这样，它可以被认为是“有限主义数