Statement:
If \((X_i)_{i\in I}\) is a family of compact non-empty topological spaces then there is a family \((F_i)_{i\in I}\) such that \(\forall i\in I\), \(F_i\) is an irreducible closed subset of \(X_i\).
Howard_Rubin_Number: 331
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Morillon-1988: Topologie, Analyse Nonstandard et Axiome du Choix
Book references
Note connections:
Note 71
In this note we give definitions from Morillon [1988] for forms [14 L], [14 BP] through [14 BX],[14 CC] through [14 CH], [118 I] through [118 T], Form 331, Form 332, Form 343, Form 344 ,and [345 C] through [345 E].