Selective bitopological versions of separability (Q5963982)

Given an infinite set \(X\), let \(\mathcal A\) and \(\mathcal B\) be two families of subsets of \(X\). Let \({\mathbb S}_{\mathrm{fin}}(\mathcal A, \mathcal B)\) denote the selection hypothesis: For each sequence \(\langle A_n: n \in \mathbb N \rangle\) in \(\mathcal A\), there is a sequence \(\langle B_n: n\in \mathbb N\rangle\) of finite sets such that for each \(n\), \(B_n \subseteq A_n\), and \(\bigcup_{n \in \mathbb N} B_n \in \mathcal B\). Similarly, \({\mathbb S}_1(\mathcal A, \mathcal B)\) denotes the following selection hypothesis: For each sequence \(\langle A_n: n \in \mathbb N \rangle\) in \(\mathcal A\), there are elements \(b_n \in A_n\), \(n\in \mathbb N\), such that \(\{b_n: n\in \mathbb N\} \in \mathcal B\). When \(X\) is a topological space, one can take some families of sets of \(X\) with certain topological properties as \(\mathcal A\) and \(\mathcal B\) to define different classes of topological spaces. For example, if \({\mathbb S}_{\mathrm{fin}}(\mathcal D, \mathcal D)\) holds in a topological space \(X\), then \(X\) is called \textit{\(M\)-separable}, where \(\mathcal D\) is the family of dense sets of \(X\). In addition, if \({\mathbb S}_1(\mathcal D, \mathcal D)\) holds in \(X\), then \(X\) is called \textit{\(R\)-separable}. Let \({\mathcal D}^{gp}\) be the subfamily of \(\mathcal D\) consisting of groupable dense sets. When \({\mathbb S}_{\mathrm{fin}}(\mathcal D, {\mathcal D}^{gp})\) (resp. \({\mathbb S}_1(\mathcal D, {\mathcal D}^{gp})\)) holds in a topological space \(X\), then \(X\) is called \(H\)-separable (resp. \(GN\)-separable).NEWLINENEWLINEUsing the notions of \(\theta\)-closure and \(\theta\)-density in a non-regular space, \textit{A. Caserta} and \textit{G. Di Maio} [Topology Appl. 160, No. 18, 2379--2385 (2013; Zbl 1286.54016)] introduced the concepts of \(M_\theta\)-separability, \(R_\theta\)-separability, \(H_\theta\)-separability and \(GN_\theta\)-separability by considering \({\mathbb S}_{\mathrm{fin}}(\mathcal D_\theta, \mathcal D_\theta)\), \({\mathbb S}_1(\mathcal D_\theta, \mathcal D_\theta)\), \({\mathbb S}_{\mathrm{fin}}(\mathcal D_\theta, \mathcal D_\theta^{gp})\) and \({\mathbb S}_1(\mathcal D_\theta, \mathcal D_\theta^{gp})\), respectively. In the paper under review, the author extends these notions to the setting of bitopological spaces, and investigates their properties and inter-relationships in bitopological spaces.