再帰段階:もしa1,…,ak{\displaystylea_{1},\ldots,a_{k}}が遺伝的有限ならば{a1,…,ak}{\displaystyle\{a_{1},\ldots,a_{k}\}}もそうである。
如果a1,…,ak{\displaystylea_{1},\ldots,a_{k}}是继承有限集合，则{a1,…,ak}{\displaystyle\{a_{1},\ldots,a_{k}\}}也是。