Aczel* define el término el conjunto definido inductivamente por $\varphi$ como sigue (p. 744).
Sea $\varphi:\mathrm{Pow}(A)\rightarrow\mathrm{Pow}(A)$ donde $\mathrm{Pow}(A)$ denota el conjunto de todos los subconjuntos de $A$ . El operador $\varphi$ es monótono si $X\subseteq Y\subseteq A$ implica $\varphi(X)\subseteq\varphi(Y)$ . [...] escribimos $I(\varphi)$ para $\bigcap\{X\subseteq A\mid \varphi(X)\subseteq X\}$ y llamarlo el conjunto definido inductivamente por $\varphi$ .
No $I(\varphi)$ ¿será siempre el conjunto vacío?
* Peter Aczel, Introducción a las definiciones inductivas , Editor(es): Jon Barwise, En Studies in Logic and the Foundations of Mathematics, Elsevier, Volumen 90, 1977, Páginas 739-782. ( enlace )
