§ Transfinite induction: Proof

J0 inductiveαJ,S(α)J0    αJ0 \text{$J_0$ inductive} \equiv \forall \alpha \in J, S(\alpha) \subseteq J_0 \implies \alpha \in J_0