等价式非直谓(equivalent impredicative)一种非直谓定义法.凡是非直谓定义中的被定义对象仅借助于“总体本身就是什么”这样的等价式刻画来确定的，称为等价式非直谓.例如，一切良序集所组成的良序集B.这里被定义对象B是通过“一切良序集所组成的总体本身就是这个良序集B”来刻画的. 又如，一切集合所组成的集合E.此处被定义对象E 是通过.‘一切集合所组成的总体本身就是这个集合 E”来刻画的.如果把这种等价式的刻画算作一种自相的定义方式，当然也须纳人非借助于总体定义的情形中去，因此，等价式非直谓是狭义非直谓的特殊情形.

定义