The equivalence of two definitions of sequential pseudocompactness (Q2800904)

\textit{G. Artico} et al. studied sequential pseudocompactness in [Fundam. Math. 175, No. 1, 1--33 (2002; Zbl 1019.54014)]. A Tychonoff space \(X\) is sequentially pseudocompact if the following condition holds.NEWLINENEWLINE(1) For any sequence \((O_n)_{n\in \omega}\) of pairwise disjoint nonempty open sets of \(X\), there are an infinite set \(J\subseteq\omega\) and a point \(x\in X\) such that every neighborhood of \(x\) intersects all but finitely many elements of \((O_n)_{n\in J}\).NEWLINENEWLINERemoving the words ``pairwise disjoint'' in condition (1) the following condition follows:NEWLINENEWLINE(2) For any sequence \((O_n)_{n\in \omega}\) of nonempty open sets of \(X\), there are an infinite set \(J\subseteq\omega\) and a point \(x\in X\) such that every neighborhood of \(x\) intersects all but finitely many elements of \((O_n)_{n\in J}\).NEWLINENEWLINE\textit{A. Dow} et al. called a space \(X\) sequentially feebly compact if condition (2) holds; they studied sequentially feebly compact spaces in [Appl. Gen. Topol. 5, No. 2, 243--264 (2004; Zbl 1066.54024)]. Clearly, condition (2) implies condition (1), a sequentially feebly compact space \(X\) is a feebly compact space (that is, for any sequence \((O_n)_{n\in \omega}\) of nonempty open sets of \(X\), there is a point \(x\in X\) such that \(\{n\in \omega\mid U\cap O_n\neq \emptyset\}\) is infinite, for every neighborhood \(U\) of \(x\)). It is well known that a Tychonoff space is feebly compact if and only if it is pseudocompact.NEWLINENEWLINEIn the paper under review, the author shows that condition (2) and condition (1) are equivalent and points out some consequences. The following is an interesting example of these: ``Let \(\mathcal {P}\) be a family of properties of toplogical spaces such that every feebly compact topological space satisfying at least one \(P\in \mathcal {P}\) is sequentially feebly compact. Then every product of feebly compact spaces, all but one of which satisfy some \(P\in \mathcal {P}\), is feebly compact (pseudocompact, if the product is Tychonoff).''