Selection properties of uniform and related structures (Q386877)

A number of selective versions of precompactness and total boundedness in a quasi-uniform space \((X,\mathbb U)\) are defined and studied. As an example, \((X,\mathbb U)\) is pre-Menger if for each sequence \(\langle U_n\rangle_{n\in\mathbb N}\) of members of \(\mathbb U\) there is a sequence \(\langle F_n\rangle\) of finite subsets of \(X\) such that \(X=\cup_{n\in\mathbb N}U_n[F_n]\). Among other selective properties are pre-Hurewicz and pre-Rothberger. It is shown, for example, that \(X\) is hereditarily pre-Menger (pre-Hurewicz, pre-Rothberger) if and only if each G\(_\delta\) subset of \((X,\tau_\mathbb U)\) is pre-Menger (pre-Hurewicz, pre-Rothberger). Products are also studied along with a number of relevant examples.