定义对象。（"R" 甚至不需要是集合；它可以是真类，只要它是类似集合的关系便可，也就是说：对于任何 "x"，使得 "yRx" 的所有 "y" 的搜集必定是集合。）
同选择公理的联系.有一个常见的误解是超限归纳法或超限递归法要求选择公理。其实超限归纳可以应用于任何良序集合。但是常见的情况是使用选择公理来良序排序一个集合，使其适用超限归纳法。