Hola.
Me temo que ha habido un error de copia-pega (mejor dicho, de copia-pega mental: estuve simplificando la sección de relaciones bien fundadas de mi libro de lógica para el caso de NBG y en ocasiones conservé la palabra "clausurable", que aquí resulta trivial). Enseguida lo corregiré.
En efecto, la definición de relación clausurable la tienes en mi libro de lógica (definición 11.31): Una relación \( R \) en \( A \) es clausurable si para todo \( x\in A \) la clase \( A^R_x \) de todos los anteriores a \( x \) está contenida en un conjunto \( R \)-transitivo, lo cual permite definir la clausura de \( x \) en \( A \) como la intersección de todos los conjuntos \( R \)-transitivos que cumplen esto.
Además, en el teorema 3.2 sólo hace falta si se define una relación bien fundada en una clase como una relación en la que todo subconjunto no vacío tiene minimal. Si se define como que toda subclase no vacía tiene minimal, no hace falta.
En definitiva, el concepto tiene interés cuando se quiere hablar de inducción y recursión transfinita en teorías débiles, como Kripke-Platek, pero es trivial en el contexto de una teoría fuerte, como NBG.
La palabra sólo aparece dos veces más, y en ambos casos se pueden cambiar por "conjuntista".
Gracias por el aviso.
