集合论
在朴素集合论、类型论和根源于类型论的集合论如新基础集合论和相关系统中，這個定義是可行的。但是它在公理化集合论 ZFC 和相关系统中不可行，因为在这种系统中在等势下的等价类作為集合而言太大了。這是由于罗素悖论的原因，在 ZFC 中没有全集 "V"。