Más generalmente, se pueden definir objetos por recursión transfinita en una relación bien fundada "R" (no se necesita siquiera que "R" sea un conjunto; puede ser una clase propia, si se asume que para todo "x", la colección {"y"|"y R x"} es un conjunto).