Otros usos son más sutiles; por ejemplo, una construcción por recursión transfinita podría no especificar un valor "único" para "A", dada la secuencia hasta α, sino especificar sólo una "condición" que debe ser cumplida por "A", y demostrar luego que sí es posible satisfacerla.