的推论。注意有可数多个继承有限集合，因为formula_13对于任何有限的formula_14都是有限的（它的基数是formula_15，参见 tetration），而可数多个有限集合的并集是可数的。等价的说，一个集合是继承有限的，当且仅当它的传递闭包是有限的。V也被符号化为formula_16，意味着小于formula_17的基数的继承。参见继承可数集合。