Se pueden generalizar estos conjuntos tomando otras relaciones de inducción: formula_34 con cualquier función compleja formula_1.