Optic neuropathy related to Onodi cell mucocele: a systematic review and meta-analysis of randomized controlled trials

1.   Introduction and preliminaries

Molodtsov ^[1] introduced the concept of soft sets in 1999 as an innovative way to deal with uncertain data while modeling real-world situations in several domains such as data science, engineering, economics, and health sciences. Numerous researchers have used the theory of soft sets as a mathematical tool to solve real-world problems (see ^[2,3]). Shabir and Naz ^[4] initiated the structure of soft topology and investigated many related topics. After that, several researchers interested in abstract structures attempted to extend topological concepts to include soft topological spaces. For instance, concepts such as soft compactness ^[5], soft separation axioms ^[6,7,8,9,10], lower soft separation axioms ^{[11,12,13,14,15]}, soft mappings ^[16,17], and soft metrics ^[18] were introduced. Furthermore, some researchers have investigated the concept of generalized open sets in soft topologies, such as soft semi-open sets ^[19], soft somewhat open sets ^[20], soft $Q$-sets ^[21], and lower density soft operators ^[22].

Mashhour et al. ^[23] defined supra-topological spaces by removing the condition of finite intersections in the traditional definition of topologies. Many topological researchers examined topological notions by using supra-topologies to analyze their properties ^{[24,25,26,27,28]}. The authors of ^[28] used supra-topologies to generate new rough set models for describing information systems. Furthermore, the authors of ^[29] used supra-topologies in digital image processing.

The concept of supra-soft topological spaces, introduced in 2014 ^[30], generalizes crisp mathematical structures to include soft ones. It included concepts like continuity ^[30], compactness ^[31], separation axioms ^{[32,33,34,35,36]}, separability ^[37,38], and generalized open sets ^[39,40,41]. Research in the field of supra-soft topologies remains vibrant and active.

This paper proposes new concepts in supra-soft topology that extend traditional supra-topologies through a novel classification known as supra-soft $\omega$-open sets. Some new separation axioms and the development of finer structures using supra-soft $\omega$-open sets connect existing theories to newer aspects of the theory of topological structures. Besides developing our knowledge regarding supra-soft spaces, these results provide fertile ground for future developments of topological methods. In addition, we observe that supra-soft topological structures have not received the attention they deserve, especially since the applications of supra-topological spaces are in many domains ^[28,29]. Therefore, we expect this paper to offer a new approach to solving practical issues.

For concepts and expressions not described here, we refer the readers to ^[42,43].

Assume that $U$ is a non-empty set and $B$ is a set of parameters. A soft set over $U$ relative to $B$ is a function $H:B\longrightarrow \mathcal{P} (U)$. $SS(U, B)$ denotes the family of all soft sets over $U$ relative to $B$. The null soft set and the absolute soft set are denoted by $0_{B}$ and $1_{B}$, respectively. Let $H\in SS(U, B)$. If $H(a) = M$ for all $a\in B$, then $H$ is denoted by $C_{M}$. If $H\left(a\right) = M$ and $H\left(b\right) = \emptyset$ for all $b\in B-\left\{ a\right\}$, then $H$ is denoted by $a_{M}$. If $H\left(a\right) = \left\{ x\right\}$ and $H\left(b\right) = \emptyset$ for all $b\in B-\left\{ a\right\}$, then $H$ is called a soft point over $U$ relative to $B$ and denoted by $a_{x}$. $SP\left(U, B\right)$ denotes the family of all soft points over $U$ relative to $B$. If $H\in SS(U, B)$ and $a_{x}\in SP(U, B)$, then $a_{x}$ is said to belong to $H$ (notation: $a_{x}\widetilde{\in }H$) if $x\in H\left(a\right)$. If $\left\{ H_{\alpha }:\alpha \in \Delta \right\} \subseteq SS(U, B)$, then the soft union and soft intersection of $\left\{ H_{\alpha }:\alpha \in \Delta \right\}$ are denoted by $\widetilde{\cup }_{\alpha \in \Delta }H_{\alpha }$ and $\widetilde{\cap }_{\alpha \in \Delta }H_{\alpha }$, respectively, and are defined by

$\left(\widetilde{\cup }_{\alpha \in \Delta }H_{\alpha }\right) \left(a\right) = \cup _{\alpha \in \Delta }H_{\alpha }\left(a\right)$ and $\left(\widetilde{\cap }_{\alpha \in \Delta }H_{\alpha }\right) \left(a\right) = \cap _{\alpha \in \Delta }H_{\alpha }\left(a\right)$ for all $a\in B$.

The sequel will utilize the following definitions.

Definition 1.1. ^[18] A soft set $K\in SS(U, B)$ is called countable if $K(b)$ is a countable subset of $U$ for each $b\in B$. $CSS(U, B)$ denotes the family of all countable soft sets from $SS(U, B)$.

Definition 1.2. ^[23] Let $U\neq \emptyset$ be a set and let $\aleph$ be a family of subsets of $U$. Then $\aleph$ is a supra-topology on $U$ if

(1) $\left\{ \emptyset, U\right\} \subseteq \aleph$.

(2) $\aleph$ is closed under an arbitrary union.

We say in this case that $\left(U, \aleph \right)$ is a supra-topological space (supra-TS, for short). Members of $\aleph$ are called supra-open sets in $\left(U, \aleph \right)$, and their complements are called supra-closed sets in $\left(U, \aleph \right)$. $\aleph ^{c}$ denotes the family of all supra-closed sets in $\left(U, \aleph \right)$.

Definition 1.3. ^[23] Let $\left(U, \aleph \right)$ be a supra-TS and let $V\subseteq U$. The supra-closure of $V$ in $\left(U, \aleph \right)$ is denoted by $Cl_{\aleph }\left(V\right)$ and defined by

Definition 1.4. ^[30] A subcollection $\psi \subseteq SS(U, B)$ is called a supra-soft topology on $U$ relative to $B$ if

(1) $\left\{ 0_{B}, 1_{B}\right\} \subseteq \psi$.

(2) $\psi$ is closed under arbitrary soft union.

We say in this case $\left(U, \psi, B\right)$ is a supra-soft topological space (supra-STS, for short). Members of $\psi$ are called supra-soft open sets in $\left(U, \psi, B\right)$, and their soft complements are called supra-soft closed sets in $\left(U, \psi, B\right)$. $\psi ^{c}$ will denote the family of all supra-soft closed sets in $\left(U, \psi, B\right)$.

Definition 1.5. ^[30] Let $\left(U, \psi, B\right)$ be a Supra-STS and let $K\in SS(U, B)$.

(a) The supra-soft closure of $K$ in $\left(U, \psi, B\right)$ is denoted by $Cl_{\psi }\left(K\right)$ and defined by

(b) The supra-soft interior of $K$ in $\left(U, \psi, B\right)$ is denoted by $Int_{\psi }\left(K\right)$ and defined by

Theorem 1.6. ^[38] For each supra-STS $\left(U, \psi, B\right)$ and each $b\in B$, the collection $\left\{ H(b):H\in \psi \right\}$ defines a supra-topology on $U$. This supra-soft topology is denoted by $\psi _{b}$.

Definition 1.7. ^[44] A supra-STS $\left(U, \psi, B\right)$ is called a supra-soft compact (resp. supra-soft Lindelof) if for every $\mathcal{M}\subseteq \psi$ with $\widetilde{\cup }_{M\in \mathcal{M}}M = 1_{B}$, we find a finite (resp. countable) subcollection $\mathcal{M} _{1}\subseteq \mathcal{M}$ with $\widetilde{\cup }_{K\in \mathcal{M} _{1}}M = 1_{B}$.

Definition 1.8. ^[45] Let $\left(U, \aleph \right)$ be a supra-TS and let $V\subseteq U$. Then, $V$ is called a supra-$\omega$-open in $\left(U, \aleph \right)$ if, for each $y\in V$, $S\in \aleph$ and a countable subset $N\subseteq U$ exist such that $y\in S-N\subseteq V$. The collection of all supra-$\omega$-open sets in $\left(U, \aleph \right)$ is denoted by $\aleph _{\omega }$.

Definition 1.9. ^[46] A supra-STS $\left(U, \aleph \right)$ is called supra-Lindelof if, for every $\mathcal{M}\subseteq \aleph$ with $\widetilde{\cup }_{M\in \mathcal{M}}M = U$, we find a countable subcollection $\mathcal{M}_{1}\subseteq \mathcal{M}$ with $\widetilde{\cup }_{K\in \mathcal{ M}_{1}}M = U$.

Definition 1.10. A supra-STS $\left(U, \psi, B\right)$ is called supra-soft countably compact if, for every countable subcollection $\mathcal{M }\subseteq \psi$ with $\widetilde{\cup }_{M\in \mathcal{M}}M = 1_{B}$, we find a finite subcollection $\mathcal{M}_{1}\subseteq \mathcal{M}$ with $\widetilde{\cup }_{K\in \mathcal{M}_{1}}M = 1_{B}$.

Definition 1.11. ^[31] Let $\left(U, \psi, B\right)$ be a supra-STS, $\emptyset \neq V\subseteq U$, and $\psi _{V} = \left\{ G\widetilde{ \cap }C_{V}:G\in \psi \right\}$. Then, $\left(V, \psi _{V}, B\right)$ is called a supra-soft topological subspace of $\left(U, \psi, B\right)$.

Definition 1.12. A supra-TS $(U, \aleph)$ is said to be

(1) ^[45] Supra-regular if, whenever $V\in \aleph ^{c}$ and $y\in U-V$, we find $R, W\in \aleph$ with $y\in R$, $V\subseteq W$, and $R\cap W = \emptyset$;

(2) Supra-$\omega$-regular if, whenever $V\in \left(\aleph _{\omega }\right) ^{c}$ and $y\in U-V$, we find $R\in \aleph$ and $W\in \aleph _{\omega }$ with $y\in R$, $V\subseteq W$, and $R\cap W = \emptyset$;

(3) Supra-$\omega$-locally indiscrete (supra-$\omega$-L-I, for short) if $\aleph \subseteq \left(\aleph _{\omega }\right) ^{c}$.

Definition 1.13.^[36] A supra-STS $(U, \psi, B)$ is called supra-soft regular if, whenever $L\in \psi ^{c}$ and $b_{y}\widetilde{ \in }1_{B}-L$, we find $G, H\in \psi$ with $b_{y}\widetilde{\in }G$, $L \widetilde{\subseteq }H$, and $G\widetilde{\cap }H = 0_{B}$.

Definition 1.14. ^[37] Let $(U, \psi, B)$ and $(V, \phi, D)$ be two supra-STSs. Then the supra-soft topology on $U\times V$ relative to $B\times D$ that has $\psi \times \phi \ $as a supra-soft base will be denoted by $pr\left(\psi \times \phi \right)$.

2.   Generated supra-soft topologies via supra-topologies

Theorem 2.1. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs, and let

Then $\left(U, \psi, B\right)$ is a supra-STS.

Proof: Since for every $b\in B$, $0_{B}\left(b\right) = \emptyset \in \psi _{b}$, and $1_{B}\left(b\right) = Y\in \psi _{b}$, therefore $\left\{ 0_{B}, 1_{B}\right\} \subseteq \psi$. Let $\left\{ H:H\in \mathcal{H} \right\} \subseteq \psi$. Then for all $b\in B$ and $H\in \mathcal{H}$, $H\left(b\right) \in \psi _{b}$ and $\cup _{H\in \mathcal{H}}H\left(b\right) \in \psi _{b}$. So, for each $b\in B$, $\left(\widetilde{\cup } _{H\in \mathcal{H}}H\right) \left(b\right) = \cup _{H\in \mathcal{H}}H\left(b\right) \in \psi _{b}$. Consequently, $\widetilde{\cup }_{H\in \mathcal{H} }H\in \psi$.

Definition 2.2. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs.

(a) The supra-soft topology $\left\{ H\in SS\left(U, B\right) :H\left(b\right) \in \psi _{b}\text{ for all }b\in B\right\}$ is indicated by $\otimes _{b\in B}\psi _{b}$.

(b) If $\psi _{b} = \aleph$ for all $b\in B$, then $\otimes _{b\in B}\psi _{b}$ is indicated by $\mu \left(\aleph \right)$.

Theorem 2.3. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs. Then, for each $a\in B$, $\left\{ a_{V}:V\in \psi _{a}\right\} \subseteq \otimes _{b\in B}\psi _{b}$.

Proof: Let $a\in B$ and let $Z\in \psi _{a}$. We then have

Consequently, $\left(a_{V}\right) \left(b\right) \in \psi _{b}$ for all $b\in B$. Hence, $a_{V}\in \otimes _{b\in B}\psi _{b}$.

Theorem 2.4. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs and let $H\in SS\left(U, B\right) -\left\{ 0_{B}\right\}$. Then, $H\in \otimes _{b\in B}\psi _{b}$ if for each $b_{y}\widetilde{\in }H$, we find $V\in \psi _{b}$ with $y\in V$ and $b_{V}\widetilde{\subseteq }H$.

Proof: Necessity. Let $H\in \otimes _{b\in B}\psi _{b}$ and let $b_{y}\widetilde{\in }H$. Then, $y\in H\left(b\right) \in \psi _{b}$. Set $V =$ $H\left(b\right)$. Thus, we have $V\in \psi _{b}$, $y\in Z$, and $b_{V}\widetilde{\subseteq }H$.

Sufficiency. Let $H\in SS\left(U, B\right) -\left\{ 0_{B}\right\}$ such that for each $b_{y}\widetilde{\in }H$, we find $V\in \psi _{b}$ with $y\in V$ and $b_{V}\widetilde{\subseteq }H$. Let $b\in B$. To show that $H\left(b\right) \in \psi _{b}$, let $y\in H\left(b\right)$. Then $b_{y}\widetilde{\in }H$ and, by assumption, we find $V\in \psi _{b}$ with $b_{y}\widetilde{\in }b_{V}\widetilde{\subseteq }H$. Moreover, by Theorem 2.3, $b_{V}\in \otimes _{b\in B}\psi _{b}$. Hence, $H\in \otimes _{b\in B}\psi _{b}$.

Theorem 2.5. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs. Then, $\left(\otimes _{b\in B}\psi _{b}\right) _{a} = \psi _{a}$ for all $a\in B$.

Proof: To demonstrate that $\left(\otimes _{b\in B}\psi _{b}\right) _{a}\subseteq \psi _{b}$, let $V\in \left(\otimes _{b\in B}\psi _{b}\right) _{a}$. We then find $H\in \otimes _{b\in B}\psi _{b}$ with $H\left(a\right) = V$. By the definition of $\otimes _{b\in B}\psi _{b}$, $H\left(a\right) \in \psi _{b}$, and thus $V\in \psi _{b}$. To demonstrate that $\psi _{b}\subseteq \left(\otimes _{b\in B}\psi _{b}\right) _{a}$, let $V\in \psi _{b}$, then, by Theorem 2.3, $a_{V}\in \otimes _{b\in B}\psi _{b}$, and so $a_{V}\left(a\right) = V\in \left(\otimes _{b\in B}\psi _{b}\right) _{a}$.

Corollary 2.6. If $\left(U, \aleph \right)$ is a supra-TS and $B$ is any set of parameters, then $\left(\mu \left(\aleph \right) \right) _{b} = \aleph$ for all $b\in B$.

Proof: For every $b\in B$, set $\psi _{b} = \aleph$. Then, $\mu \left(\aleph \right) = \otimes _{b\in B}\psi _{b}$, and, by Theorem 2.5, we get the result.

Theorem 2.7. If $(U, \psi, B)$ is a supra-STS, then $\psi \subseteq \otimes _{b\in B}\psi _{b}$.

Proof: Let $H\in \psi$. Then, $H\left(b\right) \in \psi _{b}$ for all $b\in B$, and thus, $H\in \otimes _{b\in B}\psi _{b}$.

The equality in Theorem 2.7 is not often true.

Example 2.8. Let $U = \left\{ 1, 2, 3, 4\right\}$, $B = \left\{ s, t\right\}$, $H = s_{\left\{ 1, 2\right\} }\widetilde{\cup }t_{\left\{ 3, 4\right\} }$, and $\psi = \left\{ 0_{B}, 1_{B}, H\right\}$. Then, $\psi _{s} = \left\{ \emptyset, U, \left\{ 1, 2\right\} \right\}$, $\psi _{t} = \left\{ \emptyset, U, \left\{ 3, 4\right\} \right\}$, and $\otimes _{b\in B}\psi _{b} = \left\{ 0_{B}, 1_{B}, s_{\left\{ 1, 2\right\} }, t_{\left\{ 3, 4\right\} }, F\right\}$. Hence, $\psi \neq \otimes _{b\in B}\psi _{b}$.

Theorem 2.9. For any supra-STS $(U, \psi, B)$ and any $a\in B$, $\left(\otimes _{b\in B}\psi _{b}\right) _{a} = \psi _{b}$.

Proof: The proof is derived from Theorem 2.5.

Theorem 2.10. Let $\left(U, \aleph \right)$ be a supra-TS, $B$ be a set of parameters, and $\psi = \left\{ C_{V}:V\in \aleph \right\}$. Then, $(U, \psi, B)$ is a supra-STS.

Proof: Since $\emptyset$, $U\in \aleph$, then $0_{B} = C_{\emptyset }\in \psi$ and $0_{B} = C_{U}\in \psi$. Let $\left\{ \ C_{V_{i}}:i\in I\right\} \subseteq \psi$ where $\left\{ V_{i}:i\in I\right\} \subseteq \psi$. We then have $\cup _{i\in I}V_{i}\in \aleph$ and so $C_{\cup _{i\in I}V_{i}}\in \psi$. Moreover, it is not difficult to demonstrate that $\widetilde{\cup }_{i\in I}C_{V_{i}} = C_{\cup _{i\in I}V_{i}}$. Consequently, $\widetilde{\cup }_{i\in I}C_{V_{i}}\in \psi$.

Definition 2.11. For every supra-TS $\left(U, \aleph \right)$ and every collection of parameters $B$, the supra-soft topology $\left\{ C_{V}:V\in \aleph \right\}$ is indicated by $C\left(\aleph \right)$.

Theorem 2.12. For every supra-TS $\left(U, \aleph \right)$, and each collection of parameters $B$, $\left(C\left(\aleph \right) \right) _{b} = \aleph$ for all $b\in B$.

Proof: Obvious.

Theorem 2.13. Let $\left(U, \psi, B\right)$ be a supra-STS with $\psi \subseteq \left\{ C_{V}:Z\subseteq U\right\}$, and let $\aleph = \left\{ V\subseteq U:C_{V}\in \psi \right\}$. Then $\left(U, \aleph \right)$ is a supra-TS.

Proof: Since $0_{B} = C_{\emptyset }\in \psi$, and $1_{B} = C_{U}\in \psi$, $\emptyset$, $U\in \aleph$. Let $\left\{ V_{i}:i\in I\right\} \subseteq \aleph$. Then $\left\{ C_{V_{i}}:i\in I\right\} \subseteq \psi$ and so $\widetilde{\cup }_{i\in I}C_{V_{i}}\in \psi$. Since $\widetilde{ \cup }_{i\in I}C_{V_{i}} = C_{\cup _{i\in I}V_{i}}$, $\cup _{i\in I}V_{i}\in \aleph$.

Definition 2.14. Let $\left(U, \psi, B\right)$ be a supra-STS with $\psi \subseteq \left\{ C_{V}:V\subseteq U\right\}$. Then the supra-topology $\left\{ V\subseteq U:C_{V}\in \psi \right\}$ is indicated by $D\left(\psi \right)$.

The following two results follow obviously:

Theorem 2.15. For any supra-STS $\left(U, \psi, B\right)$ with $\psi \subseteq \left\{ C_{V}:V\subseteq U\right\}$, $\psi _{b} = D\left(\psi \right)$ for all $b\in B$.

Theorem 2.16. For every supra-TS $\left(U, \aleph \right)$ and every collection of parameters $B$, $D\left(C\left(\aleph \right) \right) = \aleph$.

3.   Supra-soft omega open sets

Definition 3.1. Let $(U, \psi, B)$ be a supra-STS and let $H$ $\in$ $SS(U, B)$.

(a) A soft point $b_{y}\in SP(U, B)$ is a supra-soft condensation point of $H$ in $(U, \psi, B)$ if, for each $K\in \psi$ with $b_{y}\widetilde{\in }K$, $K \widetilde{\cap }H\notin CSS\left(U, B\right)$.

(b) The soft set $\widetilde{\cup }\left\{ b_{y}\in SP(U, B):b_{y}\text{ is a supra-soft condensation point of } H \text{ in }(U, \psi, B)\right\}$, which is indicated by $Cond(H)$.

(c) $H$ is supra-soft $\omega$-closed in $(U, \psi, B)$ if $Cond(H)\widetilde{ \subseteq }H$.

(d) $H$ is supra-soft $\omega$-open in $(U, \psi, B)$ if $1_{B}-H$ is supra-soft $\omega$-closed in $(U, \psi, B)$.

(e) The collection of all supra-soft $\omega$-open sets in $(U, \psi, B)$ is indicated by $\psi _{\omega }$.

Theorem 3.2. Let $(U, \psi, B)$ be a supra-STS and let $H$ $\in$ $SS(U, B)$. Then, $H\in \psi _{\omega }$ iff for each $b_{y}\widetilde{\in }H$, we find $K\in \psi$ with $b_{y}\widetilde{\in }K$, and $K-H\in CSS\left(U, B\right)$.

Proof: Necessity. Let $H\in \psi _{\omega }$ and let $b_{y} \widetilde{\in }H$. Then, $1_{B}-H$ is soft $\omega$-closed in $(U, \psi, B)$ and $b_{y}\widetilde{\notin }1_{B}-H$. Since $Cond(1_{B}-H)\widetilde{ \subseteq }1_{B}-H$, then $b_{y}\widetilde{\notin }Cond(1_{B}-H)$, and thus, we find $K\in \psi$ with $b_{y}\widetilde{\in }K$ and $K\widetilde{\cap } \left(1_{B}-H\right) \in CSS\left(U, B\right)$.$\ $Since $K\widetilde{\cap }\left(1_{B}-H\right) = K-H$, we are done.

Sufficiency. We show that $H\widetilde{\subseteq } 1_{B}-Cond(1_{B}-H)$. Let $b_{y}\widetilde{\in }H$. Then we find $K\in \psi$ with $b_{y}\widetilde{\in }K$ and $K-H\in CSS\left(U, B\right)$. Thus, we have $K\in \psi$, $b_{y}\widetilde{\in }K$, and $K\widetilde{\cap }\left(1_{B}-H\right) = K-H\in CSS\left(U, B\right)$. Hence, $b_{y}\widetilde{\in } 1_{B}-Cond(1_{B}-H)$.

Theorem 3.3. Let $(U, \psi, B)$ be a supra-STS and let $H$ $\in$ $SS(U, B)$. Then, $H\in \psi _{\omega }$ iff for each $b_{y}\widetilde{\in }H$, we find $K\in \psi$ and $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }K-F \widetilde{\subseteq }H$.

Proof: Necessity. Let $H\in \psi _{\omega }$ and let $b_{y} \widetilde{\in }H$. By Theorem 3.2, we find $K\in \psi$ with $b_{y} \widetilde{\in }K$ and $K-H\in CSS\left(U, B\right)$. Set $F = K-H$. We then have $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }K-F = K-\left(K-H\right) = H \widetilde{\subseteq }H$.

Sufficiency. Let $b_{y}\widetilde{\in }H$. Then, by assumption, we find $K\in \psi$ and $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }K-F \widetilde{\subseteq }H$. Since $K-H\widetilde{\subseteq }F$, $K-H\in CSS(U, B)$. Consequently, by Theorem 3.2, $H\in \psi _{\omega }$.

Theorem 3.4. For any supra-STS $(U, \psi, B)$, $\psi \subseteq \psi _{\omega }$.

Proof: Let $H\in \psi$ and let $b_{y}\widetilde{\in }H$. Set $K = H$ and $F = 0_{B}$. We then have $K\in \psi$ and $F\in CSS(U, B)$ with $b_{y} \widetilde{\in }K-F = K\widetilde{\subseteq }K = H$. Consequently, by Theorem 3.2, $H\in \psi _{\omega }$.

Theorem 3.5. For any supra-STS $(U, \psi, B)$, $(U, \psi _{\omega }, B)\ $is a supra-STS.

Proof: Since $(U, \psi, B)$ is a supra-STS, $\left\{ 0_{B}, 1_{B}\right\} \subseteq \psi$. So, by Theorem 3.4, $\left\{ 0_{B}, 1_{B}\right\} \subseteq \psi _{\omega }$. Let $\mathcal{H}\subseteq \psi _{\omega }$ and let $b_{y}\widetilde{\in }\widetilde{\cup }_{H\in \mathcal{H}}H$. Choose $H_{\circ }\in \mathcal{H}$ with $b_{y}\widetilde{\in }H_{\circ }$. Since $H_{\circ }\in \psi _{\omega }$, by Theorem 3.3, we find $K\in \psi$ and $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }K-F \widetilde{\subseteq }H_{\circ }\widetilde{\subseteq }\widetilde{\cup } _{H\in \mathcal{H}}H$. Again, by Theorem 3.3, $\widetilde{\cup }_{H\in \mathcal{H}}H\in \psi _{\omega }$.

The example that follows demonstrates that equality in general cannot take the place of inclusion in Theorem 3.4.

Example 3.6. Let $Y = \mathbb{R}$, $B = \mathbb{N}$, and $\psi = \left\{ 0_{B}, 1_{B}, C_{\left(-\infty, 0\right] }, C_{\left[0, \infty \right) }\right\}$. Then $(U, \psi, B)$ is a supra-STS and $C_{\left(0, \infty \right) }\in \psi _{\omega }-\psi$.

Theorem 3.7. Let $(U, \psi, B)$ be a supra-STS. Then, $\psi = \psi _{\omega }$ iff $\left\{ K-F:K\in \psi \text{ and }F\in CSS(U, B)\right\} \subseteq \psi$.

Proof: Necessity. Let $\psi = \psi _{\omega }$. Then, by Theorem 3.3, $\left\{ K-F:K\in \psi \text{ and }F\in CSS(U, B)\right\} \subseteq \psi _{\omega } = \psi$.

Sufficiency. Let $\left\{ K-F:K\in \psi \text{ and }F\in CSS(U, B)\right\} \subseteq \psi$. By Theorem 3.4, it is enough to demonstrate that $\psi _{\omega }\subseteq \psi$. Let $H\in \psi _{\omega }-\left\{ 0_{B}\right\}$ and let $b_{y}\widetilde{\in }H$. Then, by Theorem 3.3, we find $K\in \psi$ and $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }K-F \widetilde{\subseteq }H$. Since $\left\{ K-F:K\in \psi \text{ and }F\in CSS(U, B)\right\} \subseteq \psi$, $K-F\in \psi$. Consequently, $H\in \psi$.

Theorem 3.8. Let $(U, \psi, B)$ be a supra-STS. Then for all $b\in B$, $(\psi _{b})_{\omega } = (\psi _{\omega })_{b}$.

Proof: Let $b\in B$. To demonstrate that $(\psi _{b})_{\omega }\subseteq (\psi _{\omega })_{b}$, let $S\in (\psi _{b})_{\omega }$ and let $y\in S$. We then find $M\in \psi _{b}$ and a countable set $N\subseteq U$ with $y\in M-N\subseteq S$. Since $M\in \psi _{b}$, we find $G\in \psi$ with $G(b) = M$. Since $b_{N}\in CSS(U, B)$, $G-b_{N}\in \psi _{\omega }$ and $\left(G-b_{N}\right) \left(b\right) = G(b)-N = M-N\in (\psi _{\omega })_{b}$. Consequently, $S\in (\psi _{\omega })_{b}$. To demonstrate that $(\psi _{\omega })_{b}\subseteq (\psi _{b})_{\omega }$, let $S\in (\psi _{\omega })_{b}$ and let $y\in S$. Choose $H\in \psi _{\omega }$ with $H(b) = S$. Since $b_{y}\widetilde{\in }H\in \psi _{\omega }$, by Theorem 3.3, we find $K\in \psi$ and $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }K-F\widetilde{\subseteq }H$. Consequently, we have $K\left(b\right) \in \psi _{b}$, $F(b)$ is a countable subset of $U$, and $y\in K(b)-F\left(b\right) \subseteq H(b) = S$. Hence, $S\in (\psi _{b})_{\omega }$.

Corollary 3.9. Let $(U, \psi, B)$ be a supra-STS. If $H\in \psi _{\omega }$, then for each $b\in B$, $H\left(b\right) \in (\psi _{b})_{\omega }$.

Proof:Let $H\in \psi _{\omega }$ and let $b\in B$. Then, $H\left(b\right) \in (\psi _{\omega })_{b}$, and, by Theorem 3.8, $H\left(b\right) \in (\psi _{b})_{\omega }$.

Theorem 3.10. For any family of supra-TSs $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$, $\left(\otimes _{b\in B}\psi _{b}\right) _{\omega } = \otimes _{b\in B}\left(\psi _{b}\right) _{\omega }$.

Proof: Let $H\in$ $\left(\otimes _{b\in B}\psi _{b}\right) _{\omega }$. To demonstrate that $H\in$ $\otimes _{b\in B}\left(\psi _{b}\right) _{\omega }$, we show that $H(a)\in \left(\psi _{a}\right) _{\omega }$ for all $a\in B$. Let $a\in B$ and let $y\in H(a)$. We then have $a_{y}\widetilde{\in }H\in \left(\otimes _{b\in B}\psi _{b}\right) _{\omega }$ and, by Theorem 3.3, we find $K\in \otimes _{b\in B}\psi _{b}$ and $F\in CSS(U, B)$ with $a_{y}\widetilde{\in }K-F\widetilde{\subseteq }H$. Consequently, we have $K(a)\in \psi _{a}$, $F\left(a\right)$ is a countable subset of $U$, and $y\in K(a)-F\left(a\right) \subseteq H(a)$. This implies that $H(a)\in \left(\psi _{a}\right) _{\omega }$. Conversely, let $H\in$ $\otimes _{b\in B}\left(\psi _{b}\right) _{\omega }$. To demonstrate that $H\in$ $\left(\otimes _{b\in B}\psi _{b}\right) _{\omega }$, let $a_{y}\widetilde{\in }H$. Then, $y\in H(a)$. Since $H\in$ $\otimes _{b\in B}\left(\psi _{b}\right) _{\omega }$, $H(a)\in \left(\psi _{a}\right) _{\omega }$. Since $y\in H(a)\in \left(\psi _{a}\right) _{\omega }$, we find $M\in \psi _{a}$ and a countable set $N\subseteq U$ with $y\in M-N\subseteq H(a)$. Thus, we have $a_{M}\in \otimes _{b\in B}\psi _{b}$, $a_{N}\in CSS\left(U, B\right)$, and $a_{y}\widetilde{\in } a_{M}-a_{N}\widetilde{\subseteq }H$. Consequently, by Theorem 3.3, $H\in$ $\left(\otimes _{b\in B}\psi _{b}\right) _{\omega }$.

Corollary 3.11. For every supra-TS $\left(U, \aleph \right)$ and every collection of parameters $B$, $\left(\mu \left(\aleph \right) \right) _{\omega } = \mu \left(\aleph _{\omega }\right)$ for every $b\in B$.

Proof: For each $b\in B$, set $\psi _{b} = \aleph$. Then $\mu \left(\aleph \right) = \otimes _{b\in B}\psi _{b}$ and, by Theorem 3.10,

Definition 3.12. A supra-STS $(U, \psi, B)$ is called supra-soft locally countable (supra-soft L-C, for short) if, for each $b_{y}\in SP\left(U, B\right)$, we find $K\in \psi \cap CSS\left(U, B\right)$ with $b_{y} \widetilde{\in }K$.

Theorem 3.13. If $(U, \psi, B)$ is supra-soft L-C, then $\psi _{\omega } = SS\left(U, B\right)$.

Proof: It is sufficient to show that $SP\left(U, B\right) \subseteq \psi _{\omega }$. Let $b_{y}\in SP\left(U, B\right)$. Since $(U, \psi, B)$ is supra-soft L-C, then we find $K\in \psi \cap CSS\left(U, B\right)$ with $b_{y}\widetilde{\in }K$. Since $K\in CSS\left(U, B\right)$, then $K-b_{y} \widetilde{\in }CSS(U, B)$. Thus, by Theorem 3.3, $K-\left(K-b_{y}\right) = b_{y}\in \psi _{\omega }$.

Corollary 3.14. If $(U, \psi, B)$ is a supra-STS with $U$ being countable, then $\psi _{\omega } = SS\left(U, B\right)$.

Theorem 3.15. Let $(U, \psi, B)$ be a supra-STS. Then $(U, \psi _{\omega }, B)$ is supra-soft countably compact iff $SP\left(U, B\right)$ is finite.

Proof: Necessity. Let $(U, \psi _{\omega }, B)$ be supra-soft countably compact and assume, however, that $SP\left(U, B\right)$ is infinite. Choose a denumerable subset $\left\{ a_{n}:n\in \mathbb{N} \right\} \subseteq SP\left(U, B\right)$ with $a_{i}\neq a_{j}$ when $i\neq j$. For each $n\in \mathbb{N}$, set $H_{n} = 1_{B}-\widetilde{\cup }_{k\geq n}a_{k}$. We then have $\widetilde{\cup }_{n\in \mathbb{N} }H_{n} = 1_{B}$ and $\left\{ H_{n}:n\in \mathbb{N} \right\} \subseteq \psi _{\omega }$. Since $(U, \psi _{\omega }, B)$ is supra-soft countably compact, we find $\left\{ H_{n_{1}}, H_{n_{2}}, ..., H_{n_{k}}\right\} \subseteq \left\{ H_{n}:n\in \mathbb{N} \right\}$ with $n_{1} < n_{2} < ... < n_{k}$ and $\widetilde{\cup }_{i\in \left\{ n_{1}, n_{2}, ..., n_{k}\right\} }H_{i} = H_{n_{k}} = 1_{B}$, which is a contradiction.

Sufficiency. Suppose that $SP\left(U, B\right)$ is finite. Then $SS\left(U, B\right)$ is finite. Thus, $(U, \psi _{\omega }, B)$ is supra-soft compact, and hence $(U, \psi _{\omega }, B)$ is supra-soft countably compact.

Corollary 3.16. Let $(U, \psi, B)$ be a supra-STS. Then $(U, \psi _{\omega }, B)$ is supra-soft compact iff $SP\left(U, B\right)$ is finite.

Lemma 3.17. Let $(U, \psi, B)$ be a supra-STS, and let $\mathcal{K}$ be a supra-soft base of $(U, \psi, B)$. Then, $(U, \psi, B)$ is supra-soft Lindelof iff for every $\mathcal{K}_{1}\subseteq \mathcal{K}$ with $\widetilde{\cup }_{K\in \mathcal{K}_{1}}K = 1_{B}$, we find a countable subcollection $\mathcal{K}_{2}\subseteq \mathcal{K}_{1}$ with $\widetilde{ \cup }_{K\in \mathcal{K}_{2}}K = 1_{B}$.

Proof: Necessity. Let $(U, \psi, B)$ be supra-soft Lindelof. Let $\mathcal{K}_{1}\subseteq \mathcal{K}$ with $\widetilde{\cup } _{K\in \mathcal{K}_{1}}K = 1_{B}$. Then, $\mathcal{K}_{1}\subseteq \psi$ with $\widetilde{\cup }_{K\in \mathcal{K}_{1}}K = 1_{B}$, and so, we find a countable subcollection $\mathcal{K}_{2}\subseteq \mathcal{K}_{1}$ with $\widetilde{\cup }_{K\in \mathcal{K}_{2}}K = 1_{B}$.

Sufficiency. Let $\mathcal{H}\subseteq \psi$ with $\widetilde{\cup }_{H\in \mathcal{H}}H = 1_{B}$. For each $b_{y}\in SP\left(U, B\right)$, choose $H_{b_{y}}\in \mathcal{H}$ with $b_{y}\widetilde{\in }H_{b_{y}}$. Since $\mathcal{K}$ is a supra-soft base of $(U, \psi, B)$, for each $b_{y}\in SP\left(U, B\right)$, we find $K_{b_{y}}\in \mathcal{K}$ with $b_{y}\widetilde{\in }K_{b_{y}}\widetilde{\subseteq }H_{b_{y}}$. Let $\mathcal{K}_{1} = \left\{ K_{b_{y}}:b_{y}\in SP\left(U, B\right) \right\}$. We then have $\mathcal{K}_{1}\subseteq \mathcal{K}$ with $\widetilde{\cup } _{K\in \mathcal{K}_{1}}K = 1_{B}$, and, by assumption, we find a countable subcollection $\mathcal{K}_{2}\subseteq \mathcal{K}_{1}$ with $\widetilde{ \cup }_{K\in \mathcal{K}_{2}}K = 1_{B}$. Choose a countable subset ${ \gamma }\subseteq SP\left(U, B\right)$ with $\mathcal{K}_{2} = \left\{ K_{b_{y}}:b_{y}\in \mathcal{\gamma }\right\}$. Let $\mathcal{H}_{1} = \left\{ H_{b_{y}}:b_{y}\in \mathcal{\gamma }\right\}$. Then, $\mathcal{H}_{1}$ is a countable subcollection of $\mathcal{H}$ with $\widetilde{\cup }_{K\in \mathcal{H}_{1}}H = 1_{B}$. Consequently, $(U, \psi, B)$ is supra-soft Lindelof.

Theorem 3.18. Let $(U, \psi, B)$ be a supra-STS with $B$ being countable. Then $(U, \psi, B)$ is supra-soft Lindelof iff $(U, \psi _{\omega }, B)$ is supra-soft Lindelof.

Proof: Necessity. Let $(U, \psi, B)$ be supra-soft Lindelof. Set $\mathcal{R} = \left\{ K-F:K\in \psi \text{ and }F\in CSS(U, B)\right\}$. Then, by Theorem 3.3, $\mathcal{R}$ is a supra-soft base of $(U, \psi _{\omega }, B)$. We apply Lemma 3.17. Let $\mathcal{R} _{1}\subseteq \mathcal{R}$ with $\widetilde{\cup }_{R\in \mathcal{R} _{1}}R = 1_{B}$, say $\mathcal{R}_{1} = \left\{ K_{j}-F_{j}:\text{where } K_{j}\in \psi \text{ and }F_{j}\in CSS(U, B):j\in J\right\}$. Since $\widetilde{\cup }_{j\in J}K_{j} = 1_{B}$ and $(U, \psi, B)$ is supra-soft Lindelof, then there is a countable subset $J_{1}\subseteq J$ with $\widetilde{\cup }_{j\in J_{1}}K_{j} = 1_{B}$. Set $F = \widetilde{\cup }_{j\in J_{1}}F_{j}$. Then $F\in CSS(U, B)$. For each $b_{y}\widetilde{\in }F$, choose $j_{b_{y}}\in J$ with $b_{y}\widetilde{\in } K_{j_{b_{y}}}-F_{j_{b_{y}}}$. Let

Then, $\mathcal{R}_{2}\subseteq \mathcal{R}_{1}$, $\mathcal{R}_{2}$ is countable, and $\widetilde{\cup }_{R\in \mathcal{R}_{2}}R = 1_{B}$.

Sufficiency. Let $(U, \psi _{\omega }, B)$ be supra-soft Lindelof. By Theorem 3.4, $\psi \subseteq \psi _{\omega }$. Thus, $(U, \psi, B)$ is supra-soft Lindelof.

Theorem 3.19. Let $(U, \psi, B)$ be a supra-STS and let $\emptyset \neq V\subseteq$ $U$. Then, $\ \left(\psi _{V}\right) _{\omega } = \left(\psi _{\omega }\right) _{V}$.

Proof: To show that $\left(\psi _{V}\right) _{\omega }\subseteq \left(\psi _{\omega }\right) _{V}$, let $S\in \left(\psi _{V}\right) _{\omega }$ and let $b_{y}\widetilde{\in }S$. By Theorem 3.3, we find $M$ $\in$ $\psi _{V}$ and $L\in CSS(V, B)$ with $b_{y}\widetilde{\in }M-L \widetilde{\subseteq }S$. Choose $K\in \psi$ with $M = K\widetilde{\cap } C_{V}$. Then, $K-L$ $\in$ $\psi _{\omega }$, $b_{y}\widetilde{\in }K-L$, and $\left(K-L\right) \widetilde{\cap }C_{V} = M-L\widetilde{\subseteq }S$. Consequently, $S\in \left(\psi _{\omega }\right) _{V}$. Conversely, to show that $\left(\psi _{\omega }\right) _{V}\subseteq \left(\psi _{V}\right) _{\omega }$, let $S\in \left(\psi _{\omega }\right) _{V}$ and let $b_{y} \widetilde{\in }S$. Choose $H\in \psi _{\omega }$ with $S = H\cap C_{V}$. Since $b_{y}\widetilde{\in }H\in \psi _{\omega }$, by Theorem 3.3, we find $K\in \psi$ and $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }K-F$ $\widetilde{\subseteq }H$. Set $T = K\widetilde{\cap }C_{V}$. We then have $T\in$ $\psi _{V}$, $F\widetilde{\cap }C_{V}\in CSS(V, B)$, and $b_{y} \widetilde{\in }T-\left(F\widetilde{\cap }C_{V}\right) \widetilde{\subseteq }S$. Again, by Theorem 3.3, $S\in \left(\psi _{V}\right) _{\omega }$.

Theorem 3.20. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs. Then $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft Lindelof iff $B$ is countable and $(U, \psi _{b})$ is supra-Lindelof for all $b\in B$.

Proof: Necessity. Let $(U, \otimes _{b\in B}\psi _{b}, B)$ be supra-soft Lindelof. Since $\left\{ b_{U}:b\in B\right\} \subseteq \otimes _{b\in B}\psi _{b}$ with $\widetilde{\cup }_{b\in B}b_{U} = 1_{B}$, we find a countable subset $B_{1}\subseteq B$ with $\widetilde{\cup } _{b\in B_{1}}b_{U} = 1_{B}$. We must have $B_{1} = B$, and hence $B$ is countable. Let $a\in B$. To show that $\left(U, \psi _{b}\right)$ is supra-Lindelof, let $\mathcal{Y}\subseteq \psi _{a}$ with $\cup _{Y\in \mathcal{Y} }Y = U$. Let $\mathcal{K} = \left\{ a_{Y}:Y\in \mathcal{Y}\right\} \cup \left\{ b_{U}:b\in B-\left\{ a\right\} \right\}$. Then, $\mathcal{K}\subseteq \otimes _{b\in B}\psi _{b}$ and $\widetilde{\cup }_{K\in \mathcal{K}}K = 1_{B}$. Since $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft Lindelof, we find a countable subcollection $\mathcal{K}_{1}\subseteq \mathcal{K}$ with $\widetilde{\cup }_{K\in \mathcal{K}_{1}}K = 1_{B}$. Consequently, we find a countable subcollection $\mathcal{Y}_{1}\subseteq \mathcal{Y}$ with $\mathcal{K}_{1} = \left\{ a_{Y}:Y\in \mathcal{Y}_{1}\right\} \cup \left\{ b_{U}:b\in B-\left\{ a\right\} \right\}$. Moreover, we must have $\cup _{Y\in \mathcal{Y}_{1}}Y = U$. This shows that $(U, \psi _{b})$ is supra-Lindelof.

Sufficiency. Let $B$ be countable, and $(U, \psi _{b})$ be supra-Lindelof for all $b\in B$. Let $\mathcal{H} = \left\{ b_{V}:b\in B\text{ and }V\in \psi _{b}\right\}$. By Theorem 2.4, $\mathcal{H}$ is a supra-soft base of $(U, \otimes _{b\in B}\psi _{b}, B)$. We apply Lemma 3.17. Let $\mathcal{T}\subseteq \mathcal{H}$ with $\widetilde{\cup }_{T\in \mathcal{T} }T = 1_{B}$. For each $b\in B$, let $\mathcal{T}_{b} = \left\{ V\subseteq U:b_{V}\in \mathcal{T}\right\}$. For each $b\in B$, we have $\mathcal{T} _{b}\subseteq$ $\psi _{b}$ with $\cup _{Y\in \mathcal{T}_{b}}Y = U$, and, we find a countable subcollection $\mathcal{L}_{b}\subseteq \mathcal{T}_{b}$ with $\cup _{Y\in \mathcal{L}_{b}}Y = U$. Let $\mathcal{T}_{1} = \left\{ b_{V}:b\in B\text{ and }V\in \mathcal{L}_{b}\right\}$. Since $B$ is countable, $\mathcal{T}_{1}$ is countable. Consequently, we have a $\mathcal{T} _{1}$ that is a countable subcollection of $\mathcal{T}$ with $\widetilde{\cup } _{T\in \mathcal{T}_{1}}T = 1_{B}$. It follows that $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft Lindelof.

Definition 3.21. A supra-STS $(U, \psi, B)$ is called supra-soft anti locally countable (supra-soft A-L-C, for short) if for any $G, H\in \psi$, either $G\widetilde{\cap }H = 0_{B}$ or $G\widetilde{\cap }H\notin CSS\left(U, B\right)$.

Theorem 3.22. A supra-STS $(U, \psi, B)$ is supra-soft A-L-C iff $(U, \psi _{\omega }, B)$ is supra-soft A-L-C.

Proof: Necessity. Let $(U, \psi, B)$ be supra-soft A-L-C. Assume, however, we have $G, H\in \psi _{\omega }\ $with $G\widetilde{ \cap }H\in CSS(U, B)-\left\{ 0_{B}\right\}$. Choose $b_{y}\widetilde{\in }G \widetilde{\cap }H$. By Theorem 3.3, we find $M, N\in \psi$ and $F, L\in CSS(U, B)$ with $b_{y}\widetilde{\in }M-F\widetilde{\subseteq }G$ and $b_{y} \widetilde{\in }N-L\widetilde{\subseteq }H$. Consequently, $M\widetilde{\cap }N\widetilde{\subseteq }\left(G\widetilde{\cap }H\right) \widetilde{\cup } \left(F\widetilde{\cup }L\right)$. This implies that $M\widetilde{\cap } N\in CSS(U, B)-\left\{ 0_{B}\right\}$. Consequently, $(U, \psi, B)$ is not supra-soft A-L-C, which is a contradiction.

Sufficiency. Obvious.

Theorem 3.23. Let $(U, \psi, B)$ be supra-soft A-L-C. Then for all $H\in \psi _{\omega }$, $Cl_{\psi }(H) = Cl_{\psi _{\omega }}(H)$.

Proof: Let $(U, \psi, B)$ be supra-soft A-L-C and let $H\in \psi _{\omega }$. Since, by Theorem 3.4, $\psi \subseteq \psi _{\omega }$, $Cl_{\psi _{\omega }}(H)\widetilde{\subseteq }Cl_{\psi }(H)$. To demonstrate that $Cl_{\psi }(H)\widetilde{\subseteq }Cl_{\psi _{\omega }}(H)$, let $b_{y}\widetilde{\in }Cl_{\psi }(H)$, and let $K\in \psi _{\omega }$ with $b_{y}\widetilde{\in }K$. By Theorem 3.3, we find $M\in \psi$ and $F\in CSS(U, B)$ with $b_{y}\widetilde{\in }M-F\widetilde{\subseteq }K$. Since $b_{y}\widetilde{\in }M\in \psi$ and $b_{y}\widetilde{\in }Cl_{\psi }(H)$, $M\widetilde{\cap }H\neq 0_{B}$. Choose $a_{x}\widetilde{\in }M \widetilde{\cap }H$. Since $H\in \psi _{\omega }$, by Theorem 3.3, we find $N\in \psi$ and $L\in CSS(U, B)$ with $a_{x}\widetilde{\in }N-L \widetilde{\subseteq }H$. Since $a_{x}\widetilde{\in }M\widetilde{\cap }N$ and $(U, \psi, B)$ is supra-soft A-L-C, $M\widetilde{\cap }N\notin CSS\left(U, B\right)$. Thus, $\left(M-F\right) \widetilde{\cap }\left(N-L\right) \neq 0_{B}$, and hence, $K\widetilde{\cap }H\neq 0_{B}$. Consequently, $b_{y}\widetilde{\in }Cl_{\psi _{\omega }}(H)$.

The following example demonstrates that Theorem 3.23 is no longer true when the assumption of being "supra-soft A-L-C" is removed.

Example 3.24. Let $U = \mathbb{Z}$, $B = \left\{ a, b\right\}$, and $\psi = \{0_{B}, 1_{B}, C_{ \mathbb{N} }\}$. Then, $C_{ \mathbb{N} }$ $\in \psi$ $\subseteq$ $\psi _{\omega }$. We have $Cl_{\psi }(C_{ \mathbb{N} }) = 1_{B}$, but $Cl_{\psi _{\omega }}(C_{ \mathbb{N} }) = C_{ \mathbb{N} }\neq 1_{B}$.

In Theorem 3.23, the assumption "$H\in \psi _{\omega }$" cannot be eliminated.

Example 3.25. Let $\aleph$ be the usual topology on $\mathbb{R}$. Consider $(\mathbb{R}, \mu \left(\aleph \right), \mathbb{N})$. Let $H\in SS\left(\mathbb{R}, \mathbb{N} \right)$ be defined by $H\left(b\right) = \mathbb{Q} -\left\{ b\right\}$ for all $b\in \mathbb{N}$. Since $H\in CSS\left(\mathbb{R}, \mathbb{N} \right)$, $Cl_{\left(\mu \left(\aleph \right) \right) _{\omega }}(H) = H$. Moreover, $Cl_{\mu \left(\aleph \right) }(H) = 1_{B}$.

Theorem 3.26. Let $(U, \psi, B)$ be supra-soft A-L-C. Then for all $H\in \left(\psi _{\omega }\right) ^{c}$, $Int_{\psi }(H) = Int_{\psi _{\omega }}(H)$.

Proof: Let $(U, \psi, B)$ be supra-soft A-L-C and let $H\in \left(\psi _{\omega }\right) ^{c}$. Then, $1_{B}-H\in \psi _{\omega }$ and, by Theorem 3.23, $Cl_{\psi }(1_{B}-H) = Cl_{\psi _{\omega }}(1_{B}-H)$. Thus,

Theorem 3.27. Let $(U, \psi, B)$ be a supra-soft Lindelof space. If $V\subseteq U$ with $C_{V}\in \left(\psi _{\omega }\right) ^{c}-\left\{ 0_{B}\right\}$, then $(V, \psi _{V}, B)$ is supra-soft Lindelof.

Proof: Let $(U, \psi, B)$ be a supra-soft Lindelof space and let $V\subseteq U$ with $C_{V}\in \left(\psi _{\omega }\right) ^{c}-\left\{ 0_{B}\right\}$. By Theorem 3.18, $(U, \psi _{\omega }, B)$ is supra-soft Lindelof. Since $C_{V}\in \left(\psi _{\omega }\right) ^{c}$, by Theorem 3.6 of ^[45], $(V, \left(\psi _{\omega }\right) _{V}, B)$ is supra-soft Lindelof. By Theorem 3.19, $(V, \left(\psi _{V}\right) _{\omega }, B)$ is supra-soft Lindelof. Again, by Theorem 3.18, we must have $(V, \psi _{V}, B)$ is supra-soft Lindelof.

4.   Supra-soft $\omega$-local indiscreetness

Theorem 4.1. If $(U, \psi, B)$ is a supra-STS with $\psi \subseteq \psi ^{c}$, then, $(U, \psi, B)$ is a soft topological space.

Proof: Let $G, H\in \psi$. Then, $G, H\in \psi ^{c}$ and $1_{B}-G, 1_{B}-H\in \psi$. Therefore, $1_{B}-\left(G\widetilde{\cap }H\right) = \left(1_{B}-G\right) \widetilde{\cup }\left(1_{B}-H\right) \in \psi$. Thus, $1_{B}-\left(G\widetilde{\cap }H\right) \in \psi ^{c}$. Hence, $G \widetilde{\cap }H\in \psi$.

Definition 4.2. A supra-STS $(U, \psi, B)$ is said to be

(a) Supra-soft locally indiscrete (supra-soft L-I, for short) if $\psi \subseteq \psi ^{c}$;

(b) Supra-soft $\omega$-locally indiscrete (supra-soft $\omega$-L-I, for short) if $\psi \subseteq \left(\psi _{\omega }\right) ^{c}$.

Theorem 4.3. A supra-STS $(U, \psi, B)$ is supra-soft L-I iff $(U, \psi, B)$ is supra-soft L-I as a soft topological space.

Proof: This follows from Theorem 4.1.

Theorem 4.4. Supra-soft L-C supra-STSs are supra-soft $\omega$-L-I.

Proof: Let $(U, \psi, B)$ be a supra-soft L-C. Then, by Theorem 3.13, $\psi _{\omega } = SS\left(U, B\right)$. Thus, $\psi \subseteq \psi _{\omega } = \left(\psi _{\omega }\right) ^{c} = SS(U, B)$, and hence $(U, \psi, B)$ is supra-soft $\omega$-L-I.

Theorem 4.4's implication is not reversible in general.

Example 4.5. Let $U = \mathbb{R}$, $B = \left\{ a, b\right\}$, and $\psi = \left\{ 0_{B}, 1_{B}, C_{ \mathbb{N} \cup \left\{ -1\right\} }, C_{ \mathbb{Z} - \mathbb{N} }, C_{ \mathbb{Z} }\right\}$. Consider the supra-STS $(U, \psi, B)$. Since $\left\{ C_{ \mathbb{N} \cup \left\{ -1\right\} }, C_{ \mathbb{Z} - \mathbb{N} }, C_{ \mathbb{Z} }\right\} \subseteq CSS(U, B)$, then $\left\{ C_{ \mathbb{N} \cup \left\{ -1\right\} }, C_{ \mathbb{Z} - \mathbb{N} }, C_{ \mathbb{Z} }\right\} \subseteq \left(\psi _{\omega }\right) ^{c}$. Consequently, we have $\psi \subseteq \left(\psi _{\omega }\right) ^{c}$, and hence, $(U, \psi, B)$ is supra-soft $\omega$-L-I. Moreover, it is clear that $(U, \psi, B)$ is not supra-soft L-C.

Theorem 4.6. Every supra-soft L-I supra-STS is supra-soft $\omega$-L-I.

Proof: Let $(U, \psi, B)$ be supra-soft L-I, and thus $\psi \subseteq \psi ^{c}$. Since $\psi \subseteq \psi _{\omega }$, $\psi ^{c}\subseteq \left(\psi _{\omega }\right) ^{c}$. Consequently, $\psi \subseteq \left(\psi _{\omega }\right) ^{c}$. Hence, $(U, \psi, B)$ is supra-soft $\omega$ -L-I.

Theorem 4.6's implication is not reversible in general.

Example 4.7. Let $U = \mathbb{Q}$, $B = \mathbb{N}$, and $\psi = \left\{ 0_{B}, 1_{B}, C_{ \mathbb{N} \cup \left\{ -1\right\} }, C_{ \mathbb{Z} - \mathbb{N} }, C_{ \mathbb{Z} }\right\}$. Consider the supra-STS $(U, \psi, B)$. Then, $(U, \psi, B)$ is supra-soft L-C, and, by Theorem 3.13, $\psi _{\omega } = SS\left(U, B\right)$. Thus, $\left(\psi _{\omega }\right) ^{c} = \psi _{\omega } = SS(U, B)$, and hence $(U, \psi, B)$ is supra-soft $\omega$-L-I. Moreover, since $C_{ \mathbb{Z} - \mathbb{N} }\in \psi -\psi ^{c}$, $(U, \psi, B)$ is not supra-soft L-I.

Theorem 4.8. If $(U, \psi, B)$ is supra-soft A-L-C, and supra-soft $\omega$-L-I, then $(U, \psi, B)$ is supra-soft L-I.

Proof: Let $H\in \psi$. Since $(U, \psi, B)$ is supra-soft $\omega$ -L-I, then $H\in \left(\psi _{\omega }\right) ^{c}$, and hence, $Cl_{\psi _{\omega }}(H) = H$. Since $(U, \psi, B)$ is supra-soft A-L-C, then, by Theorem 3.23, $Cl_{\psi }(H) = Cl_{\psi _{\omega }}(H)$. Thus, $Cl_{\psi }(H) = H$, and hence, $H\in \psi ^{c}$. Consequently, $(U, \psi, B)$ is supra-soft L-I.

Example 4.7 is an example of a supra-soft L-C supra-STS that is not supra-soft L-I. An example of a supra-soft L-I supra-STS that is not supra-soft L-C is as follows:

Example 4.9. Let $U = [0, 1]\cup \left[2, 3\right]$, $B = \left\{ a, b\right\}$, and $\psi = \left\{ 0_{B}, 1_{B}, C_{[0, 1]}, C_{[2,3]}\right\}$. Consider the supra-STS $(U, \psi, B)$. Then, $(U, \psi, B)$ is not supra-soft L-C. Since $\psi = \psi ^{c}$, $(U, \psi, B)$ is supra-soft L-I.

Theorem 4.10. If $(U, \psi, B)$ is supra-soft $\omega$-L-I, then $(U, \psi _{b})$ is supra $\omega$-L-I for all $b\in B$.

Proof: Since $(U, \psi, B)$ is supra-soft $\omega$-L-I, then $\psi \subseteq \left(\psi _{\omega }\right) ^{c}$. Let $V\in \psi _{b}$. Choose $K\in \psi$ with $K\left(b\right) = V$. Therefore, we have $K\in \left(\psi _{\omega }\right) ^{c}$, and hence, $V = K(b)\in \left((\psi _{\omega })_{b}\right) ^{c}$. But, by Theorem 3.8, $(\psi _{\omega })_{b} = (\psi _{b})_{\omega }$. Then, $V\in \left((\psi _{b})_{\omega }\right) ^{c}$. This proves that $\psi _{b}\subseteq \left((\psi _{b})_{\omega }\right) ^{c}$, and hence, $(U, \psi _{b})$ is supra $\omega$-L-I.

Theorem 4.11. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs. Then $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft $\omega$-L-I iff $\left(U, \psi _{b}\right)$ is supra $\omega$-L-I for all $b\in B$.

Proof: Necessity. Let $(U, \otimes _{b\in B}\psi _{b}, B)$ be supra-soft $\omega$-L-I. Then, by Theorem 4.10, $(U, \left(\otimes _{b\in B}\psi _{b}\right) _{b})$ is supra $\omega$-L-I for all $b\in B$. But, by Theorem 2.5, $\left(\otimes _{b\in B}\psi _{b}\right) _{b} = \psi _{b}$ for all $b\in B$. This ends the proof.

Sufficiency. Let $\left(U, \psi _{b}\right)$ be supra $\omega$-L-I for all $b\in B$. Let $K\in \otimes _{b\in B}\psi _{b}$. Then, $K\left(b\right) \in \psi _{b}$ for all $b\in B$. Since $\left(U, \psi _{b}\right)$ is supra $\omega$-L-I for all $b\in B$, $K\left(b\right) \in \left(\left(\psi _{b}\right) _{\omega }\right) ^{c}$ for all $b\in B$. Therefore, $K\in \left(\otimes _{b\in B}\left(\psi _{b}\right) _{\omega }\right) ^{c}$. Now, by Theorem 3.10, $K\in \left(\left(\otimes _{b\in B}\psi _{b}\right) _{\omega }\right) ^{c}$. It follows that $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft $\omega$-L-I.

Corollary 4.12. Let $(U, \aleph)$ be a supra-TS and $B$ be a set of parameters. Then, $(U, \mu (\aleph), B)$ is supra-soft $\omega$-L-I iff $(U, \aleph)$ is supra $\omega$-L-I.

Proof: For every $b\in B$, set $\aleph _{b} = \aleph$. Then, $\mu (\aleph) = \otimes _{b\in B}\psi _{b}$. Theorem 4.11 ends the proof.

The example that follows demonstrates that, generally, the conclusion in Theorem 4.10 is not true in reverse.

Example 4.13. Let $U = \mathbb{R}$ and $B = \{s, t\}$. Let

$T = \left\{ \left(s, \left(-\infty, 0\right) \right), \left(t, \left(-\infty, 1\right) \right) \right\}$,

$S = \left\{ \left(s, \left[0, 1\right) \right), \left(t, \left(-\infty, 1\right) \right) \right\}$,

$W = \left\{ \left(s, \left[1, 2\right) \right), \left(t, \left[1, \infty \right) \right) \right\}$,

$L = \left\{ \left(s, \left[2, \infty \right) \right), \left(t, \left[1, \infty \right) \right) \right\}$,

$N = \left\{ \left(s, \emptyset \right), \left(t, \left(-\infty, 1\right) \right) \right\}$,

$M = \left\{ \left(s, \emptyset \right), \left(t, \left[1, \infty \right) \right) \right\}$.

Consider the supra-STS $(U, \psi, B)$, where $\psi$ is the supra-soft topology having $\{T, S, W, L, N, M\}$ as a supra-soft base. Then, $\psi _{a}$ is the supra-topology on $U$ having $\left\{ \left(-\infty, 0\right), \left[0, 1\right), \left[1, 2\right), \left[2, \infty \right) \right\}$ as a supra base, and $\psi _{b}$ is the supra-topology on $U$ having $\left\{ \left(-\infty, 1\right), \left[1, \infty \right) \right\}$ as a supra base. Hence, $(U, \psi _{a})$ and $(U, \psi _{b})$ are both supra L-I. Since $(U, \psi, B)$ is supra-soft A-L-C and $1_{B}-T\notin \psi$, by Theorem 4.8, $1_{B}-T\notin \psi _{\omega }$. This implies that $(U, \psi, B)$ is not supra-soft $\omega$-L-I.

5.   Supra-soft $\omega$-regularity

Definition 5.1. A supra-STS $(U, \psi, B)$ is called supra-soft $\omega$-regular (supra-soft $\omega$-r, for short) if whenever $L\in \psi ^{c}$ and $b_{y}\widetilde{\in }1_{B}-L$, we find $G\in \psi$ and $H\in \psi _{\omega }$ with $b_{y}\widetilde{\in }G$, $L\widetilde{\subseteq }H$, and $G\widetilde{\cap }H = 0_{B}$.

Theorem 5.2. A supra-STS $(U, \psi, B)$ is supra-soft $\omega$-r iff whenever $T\in \psi$ and $b_{y}\widetilde{\in }T$, we find $G\in \psi$ with $b_{y}\widetilde{\in }G\widetilde{\subseteq }Cl_{\psi _{\omega }}(G)\widetilde{\subseteq }T$.

Proof: Necessity. Let $(U, \psi, B)$ be supra-soft $\omega$-r. Let $T\in \psi$ and $b_{y}\widetilde{\in }T$. Then, we have $1_{B}-T\in \psi ^{c}$ and $b_{y}\widetilde{\in }1_{B}-\left(1_{B}-T\right)$. We then find $G\in \psi$ and $H\in \psi _{\omega }$ with $b_{y}\widetilde{\in }G$, $1_{B}-T\widetilde{\subseteq }H$, and $G\widetilde{\cap }H = 0_{B}$. Since $1_{B}-T\widetilde{\subseteq }H$, $1_{B}-H\widetilde{\subseteq }T$. Since $G\widetilde{\cap }H = 0_{B}$, $G\widetilde{\subseteq }1_{B}-H$, and so, $b_{y}\widetilde{\in }G\widetilde{\subseteq }Cl_{\psi _{\omega }}\left(G\right) \widetilde{\subseteq }Cl_{\psi _{\omega }}\left(1_{B}-H\right) = 1_{B}-H\widetilde{\subseteq }T$.

Sufficiency. Let $L\in \psi ^{c}$ and $b_{y}\widetilde{\in }1_{B}-L$. By assumption, we find $G\in \psi$ with $b_{y}\widetilde{\in }G\widetilde{ \subseteq }Cl_{\psi _{\omega }}(G)\widetilde{\subseteq }1_{B}-L$. Set $H = 1_{B}-Cl_{\psi _{\omega }}(G)$. Then, $H\in \psi _{\omega }$, $L\widetilde{ \subseteq }H$, and $G\widetilde{\cap }H = 0_{B}$. Consequently, $(U, \psi, B)$ is supra-soft $\omega$-r.

Theorem 5.3. If $(U, \psi, B)$ is supra-soft $\omega$ -L-I, then $(U, \psi, B)$ is supra-soft $\omega$-r.

Proof: Let $T\in \psi$ and $b_{y}\widetilde{\in }T$. Since $(U, \psi, B)$ is supra-soft $\omega$-L-I, $T\in \left(\psi _{\omega }\right) ^{c}$, and so, $T =$ $Cl_{\psi _{\omega }}(T)$. Hence, we have $T\in \psi$ and $b_{y}\widetilde{\in }T\widetilde{\subseteq }Cl_{\psi _{\omega }}(T)\widetilde{\subseteq }T$. Thus, by Theorem 5.2, $(U, \psi, B)$ is supra-soft $\omega$-r.

Corollary 5.4. If $(U, \psi, B)$ is supra-soft L-C, then $(U, \psi, B)$ is supra-soft $\omega$-r.

Proof: This follows from Theorems 4.4 and 5.3.

Theorem 5.5. Supra-soft regularity implies supra-soft $\omega$ -regularity.

Proof: Let $(U, \psi, B)$ be supra-soft regular. Let $T\in \psi$ and $b_{y}\widetilde{\in }T$. By the supra-soft regularity of $(U, \psi, B)$, we find $G\in \psi$ with $b_{y}\widetilde{\in }G\widetilde{ \subseteq }Cl_{\psi }(G)\widetilde{\subseteq }T$. Since $Cl_{\psi _{\omega }}(G)\widetilde{\subseteq }Cl_{\psi }(G)$, we have $b_{y}\widetilde{\in }G\widetilde{\subseteq }Cl_{\psi _{\omega }}(G)\widetilde{\subseteq } Cl_{\psi }(G)\widetilde{\subseteq }T$. Consequently, $(U, \psi, B)$ is supra-soft $\omega$-r.

Lemma 5.6. Let $(U, \psi, B)$ be a supra-STS and let $K\in SS(U, B)$. Then, for every $b\in B$, $Cl_{\psi _{b}}\left(K\left(b\right) \right) \subseteq \left(Cl_{\psi }(K)\right) \left(b\right)$.

Proof: Let $y\in Cl_{\psi _{b}}\left(K\left(b\right) \right)$. We show that $b_{y}\widetilde{\in }Cl_{\psi }(K)$. Let $G\in \psi$ with $b_{y}\widetilde{\in }G$. We then have $y\in G(b)\in \psi _{b}$. Since $y\in Cl_{\psi _{b}}\left(K\left(b\right) \right)$, $K\left(b\right) \cap G(b)\neq \emptyset$. Thus, $\left(K\widetilde{\cap }G\right) \left(b\right) = K\left(b\right) \cap G(b)\neq \emptyset$, and hence, $K\widetilde{ \cap }G\neq 0_{B}$. It follows that $b_{y}\widetilde{\in }Cl_{\psi }(K)$.

Theorem 5.7. If $(U, \psi, B)$ is supra-soft regular, then $(U, \psi _{b})$ is supra-regular for all $b\in B$.

Proof: Let $(U, \psi, B)$ be supra-soft regular and let $b\in B$. Let $V\in \psi _{b}$ and $y\in V$. Choose $T\in \psi$ with $T\left(b\right) = V$. Then, $b_{y}\widetilde{\in }T\in \psi$, and, by the supra-soft regularity of $(U, \psi, B)$, we find $G\in \psi$ with $b_{y}\widetilde{\in } G\widetilde{\subseteq }Cl_{\psi }(G)\widetilde{\subseteq }T$. Thus, we have $G\left(b\right) \in \psi _{b}$, and, by Lemma 5.6, $y\in G(b)\subseteq Cl_{\psi _{b}}(G(b))\subseteq \left(Cl_{\psi }(G)\right) (b)\subseteq T(b) = V$. Consequently, $(U, \psi _{b})$ is supra-regular.

Lemma 5.8. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs and let $K\in SS(U, B)$. Then, $Cl_{\psi _{a}}\left(K(a)\right) = \left(Cl_{\otimes _{b\in B}\psi _{b}}K\right) (a)$ for every $a\in B$.

Proof: Let $a\in B$. Then, by Lemma 5.6, $Cl_{\left(\otimes _{b\in B}\psi _{b}\right) _{a}}\left(K\left(a\right) \right) \subseteq \left(Cl_{\otimes _{b\in B}\psi _{b}}(K)\right) \left(a\right)$. Moreover, by Theorem 2.5, $\left(\otimes _{b\in B}\psi _{b}\right) _{a} = \psi _{a}$. Hence, $Cl_{\psi _{a}}\left(K(a)\right) \subseteq \left(Cl_{\otimes _{b\in B}\psi _{b}}K\right) (a)$. To demonstrate that $\left(Cl_{\otimes _{b\in B}\psi _{b}}K\right) (a)\subseteq Cl_{\psi _{a}}\left(K(a)\right)$, let $y\in \left(Cl_{\otimes _{b\in B}\psi _{b}}K\right) (a)$, and let $V\in \psi _{a}$ with $y\in V$. We then have $a_{y}\widetilde{\in }a_{V}\in \otimes _{b\in B}\psi _{b}$. Since $y\in \left(Cl_{\otimes _{b\in B}\psi _{b}}K\right) (a)$, $a_{y}\widetilde{\in }Cl_{\otimes _{b\in B}\psi _{b}}K$, and so, $a_{V}\widetilde{\cap }K\neq 0_{B}$. Consequently, $V\cap K(a)\neq \emptyset$. This shows that $y\in Cl_{\psi _{a}}\left(K(a)\right)$.

Lemma 5.9. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs. Then, for any $a\in B$ and $V\subseteq U$, $Cl_{\otimes _{b\in B}\psi _{b}}(a_{V}) = a_{Cl_{\psi _{a}}(V)}$.

Proof: Let $a\in B$ and $V\subseteq U$. Let $b\in B$. Then, by Lemma 5.8, $\left(Cl_{\otimes _{b\in B}\psi _{b}}a_{V}\right) (b) = Cl_{\psi _{a}}\left(a_{V}(b)\right) = \left\{ \begin{array}{ccc} Cl_{\psi _{a}}\left(V\right) & \text{if} & b = a, \\ \emptyset & \text{if} & b\neq a. \end{array} \right.$

Consequently, $Cl_{\otimes _{b\in B}\psi _{b}}(a_{V}) = a_{Cl_{\psi _{a}}(V)}$.

Theorem 5.10.Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs. Then, $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft regular if $\left(U, \psi _{b}\right)$ is supra-regular for all $b\in B$.

Proof: Necessity. Let $(U, \otimes _{b\in B}\psi _{b}, B)$ be supra-soft regular. Then, by Theorem 5.7, $(U, \left(\otimes _{b\in B}\psi _{b}\right) _{b}, B)$ is supra-regular for all $b\in B$. But, by Theorem 2.5, $\left(\otimes _{b\in B}\psi _{b}\right) _{b} = \psi _{b}$ for all $b\in B$. This completes the proof.

Sufficiency. Let $\left(U, \psi _{b}\right)$ be supra-regular for all $b\in B$. Let $T\in \otimes _{b\in B}\psi _{b}$ and let $a_{y}\widetilde{\in }T$. Then, $y\in T\left(a\right) \in \psi _{a}$ and, by the supra-regularity of $\left(U, \psi _{a}\right)$, we find $V\in \psi _{a}$ with $y\in V\subseteq Cl_{\psi _{a}}(V)\subseteq T\left(a\right)$. Consequently, we have $a_{y}\widetilde{\in }a_{V}\in \otimes _{b\in B}\psi _{b}\ $, and, by Lemma 5.9, $Cl_{\otimes _{b\in B}\psi _{b}}(a_{V}) = a_{Cl_{\psi _{a}}(V)}\widetilde{\subseteq }T$. Therefore, $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft regular.

Corollary 5.11.Let $(U, \aleph)$ be a supra-TS and $B$ be a set of parameters. Then $(U, \mu (\aleph), B)$ is supra-soft regular iff $(U, \aleph)$ is supra-regular.

Proof: For every $b\in B$, set $\aleph _{b} = \aleph$. Then, $\mu (\aleph) = \otimes _{b\in B}\psi _{b}$. Theorem 5.10 completes the proof.

Theorem 5.12. If $(U, \psi, B)$ is supra-soft $\omega$-r, then $(U, \psi _{a})$ is supra-$\omega$-regular for all $a\in B$.

Proof: Let $(U, \psi, B)$ be supra-soft $\omega$-r and let $a\in B$. Let $V\in \psi _{a}$ and $y\in V$. Pick $T\in \psi$ with $T\left(a\right) = T$. We then have $a_{y}\widetilde{\in }T\in \psi$, and, by the supra-soft $\omega$-regularity of $(U, \psi, B)$ and Theorem 5.2, we find $G\in \psi$ with $a_{y}\widetilde{\in }G\widetilde{\subseteq }Cl_{\psi _{\omega }}(G)\widetilde{\subseteq }T$. Thus, we have $G\left(a\right) \in \psi _{a}$, and, by Lemma 5.6, $y\in G(a)\subseteq Cl_{\psi _{\omega }}(G(a))\subseteq \left(Cl_{\psi _{\omega }}(G)\right) (a)\subseteq T(a) = V$. Consequently, $(U, \psi _{a})$ is supra-$\omega$-regular.

Theorem 5.13. Let $\left\{ \left(U, \psi _{b}\right) :b\in B\right\}$ be a family of supra-TSs. Then, $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft $\omega$-r iff $\left(U, \psi _{b}\right)$ is supra-$\omega$-regular for all $a\in B$.

Proof: Necessity. Let $(U, \otimes _{b\in B}\psi _{b}, B)$ be supra-soft $\omega$-r. Then, by Theorem 5.12, $(U, \left(\otimes _{b\in B}\psi _{b}\right) _{b}, B)$ is supra-$\omega$-regular for all $b\in B$. But, by Theorem 2.5, $\left(\otimes _{b\in B}\psi _{b}\right) _{b} = \psi _{b}$ for all $b\in B$. This completes the proof.

Sufficiency. Let $\left(U, \psi _{b}\right)$ be supra-$\omega$-regular for all $b\in B$. Let $T\in \otimes _{b\in B}\psi _{b}$, and let $a_{y}\widetilde{\in }T$. Then, $y\in T\left(a\right) \in \psi _{a}$. Since $\left(U, \psi _{a}\right)$ is supra-$\omega$-regular, we find $V\in \psi _{a}$ with $y\in V\subseteq Cl_{\left(\psi _{a}\right) _{\omega }}(V)\subseteq T\left(a\right)$. Consequently, we have $a_{y}\widetilde{ \in }a_{V}\in \otimes _{b\in B}\psi _{b}\ $and, by Lemma 5.9, $Cl_{\otimes _{b\in B}\left(\psi _{b}\right) _{\omega }}(a_{V}) = a_{Cl_{\left(\psi _{a}\right) _{\omega }}(V)}\widetilde{\subseteq }T$. Moreover, by Theorem 3.10, $\left(\otimes _{b\in B}\psi _{b}\right) _{\omega } = \otimes _{b\in B}\left(\psi _{b}\right) _{\omega }$. Consequently, $Cl_{\otimes _{b\in B}\left(\psi _{b}\right) _{\omega }}(a_{V}) = Cl_{\left(\otimes _{b\in B}\psi _{b}\right) _{\omega }}(a_{V})$. This shows that $(U, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft $\omega$-r.

Corollary 5.14. Let $(U, \aleph)$ be a supra-TS and $B$ be a set of parameters. Then $(U, \mu (\aleph), B)$ is supra-soft $\omega$-r iff $(U, \aleph)$ is supra-$\omega$-regular.

Proof: For every $b\in B$, set $\aleph _{b} = \aleph$. Then, $\mu (\aleph) = \otimes _{b\in B}\psi _{b}$. Theorem 5.13 completes the proof.

The opposites of Theorem 5.3 and Corollary 5.4 are false.

Example 5.15. Let $B = \left\{ s, t\right\}$. Let $\psi _{s}$ and $\psi _{t}$ be the usual and the discrete topologies on $\mathbb{R}$. Consider the supra-STS $(\mathbb{R}, \otimes _{b\in B}\psi _{b}, B)$. Then, the supra-TSs $\left(\mathbb{R}, \psi _{s}\right)$ and $\left(\mathbb{R}, \psi _{t}\right) \ $are supra-regular. Thus, by Theorem 5.10, $(\mathbb{R}, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft regular. Hence, by Theorem 5.5, $(\mathbb{R}, \otimes _{b\in B}\psi _{b}, B)$ is supra-soft $\omega$-r. Conversely, since $\left(-\infty, 0\right) \in \psi _{s}-\left(\left(\psi _{s}\right) _{\omega }\right) ^{c}$, $\left(\mathbb{R}, \psi _{s}\right)$ is not supra-$\omega$-L-I. So, by Theorem 4.11, $(\mathbb{R}, \otimes _{b\in B}\psi _{b}, B)$ is not supra-soft $\omega$-L-I. Moreover, clearly, $(\mathbb{R}, \otimes _{b\in B}\psi _{b}, B)$ is not supra-soft L-C.

The contrary of Theorem 5.5 is generally untrue.

Example 5.16. Let $U = \mathbb{Z}$, $B = \mathbb{R}$, and $\mathbf{\aleph }$ be the cofinite topology on $U$. Then, $\left(U, \mathbf{\aleph }\right)$ is not supra-regular. So, by Corollary 5.11, $(U, \mu (\aleph), B)$ is not supra-soft regular. Since $(U, \mu (\aleph), B)$ is supra-soft L-C, by Corollary 5.4, $(U, \mu (\aleph), B)$ is supra-soft $\omega$-r.

Example 5.17. Consider $(U, \psi, B)$ as shown in Example 4.13. In Example 4.13, we showed that both $(U, \psi _{s})$ and $(U, \psi _{t})$ are supra-L-I, which means they are supra-regular and thus are supra-$\omega$ -regular. Assume that $(U, \psi, B)$ is supra-soft $\omega$-r. If we let $y = -1$, then $t_{y}\widetilde{\in }1_{B}-(1_{B}-T)$ with $1_{B}-T\in \psi ^{c}$. Therefore, we find $G\in \psi$ and $H\in \psi _{\omega }$ with $t_{y}\widetilde{\in }G$, $1_{B}-T\widetilde{\subseteq }H$, and $G\widetilde{\cap }H = 0_{B}$. One can easily check that we must have $t_{y}\widetilde{\in }T\widetilde{\subseteq } G$, and so $T\widetilde{\cap }H = 0_{B}$. Thus, $H\widetilde{\subseteq } 1_{B}-T$, which implies that $H = 1_{B}-T$. But we have shown in Example 4.13 that $1_{B}-T\notin \left(\psi _{\omega }\right) ^{c}$. Consequently, $(U, \psi, B)$ is not supra-soft $\omega$-r, and, by Theorem 5.5, $(U, \psi, B)$ is not supra-soft regular.

Theorem 5.18. If $(U, \psi, B)$ is supra-soft A-L-C and supra-soft $\omega$-r, then $(U, \psi, B)$ is supra-soft regular.

Proof: This follows from the definitions and Theorem 3.23.

Theorem 5.19. Let $(U, \psi, B)$ and $(V, \phi, D)$ be two supra-STSs. In this case:

(a) $\left(pr\left(\psi \times \phi \right) \right) _{\omega }\subseteq pr\left(\psi _{\omega }\times \phi _{\omega }\right)$;

(b) For any $S\in SS(U, B)$ and $K\in SS(V, D)$, $Cl_{\psi _{\omega }}(S)\times Cl_{\phi _{\omega }}(K)\widetilde{\subseteq }Cl_{\left(pr\left(\psi \times \phi \right) \right) _{\omega }}(S\times K)$.

Proof: (a) Let $T\in \left(pr\left(\psi \times \phi \right) \right) _{\omega }$ and let $(s, t)_{(x, y)}\widetilde{\in }T$. We then find $L\in pr\left(\psi \times \phi \right)$ and $H\in CSS(U\times V, B\times D)$ with $(s, t)_{(x, y)}\widetilde{\in }L-H\widetilde{\subseteq }T$. Choose $F\in \psi$ and $G\in \phi$ with $(s, t)_{(x, y)}\widetilde{\in }F\times G \widetilde{\subseteq }L$. Set $M = \left(\widetilde{\cup }\left\{ c_{z}:(c, d)_{(z, w)}\widetilde{\in }H\text{ for some }d_{w}\widetilde{\in } SP(V, D)\right\} \right) -s_{x}$ and $N = \left(\widetilde{\cup }\left\{ d_{w}:(c, d)_{(z, w)}\widetilde{\in }H\text{ for some }c_{z}\widetilde{\in } SP(U, B)\right\} \right) -t_{y}$. Then, $M\in CSS(U, B)$ and $N\in CSS(V, D)$. Therefore, we have $F-M\in$ $\psi _{\omega }$, $G-N\in \phi _{\omega }$, and $(s, t)_{(x, y)}\widetilde{\in }\left(F-M\right) \times \left(G-N\right) \widetilde{\subseteq }(F\times G)-(M\times N)\widetilde{\subseteq }L-H \widetilde{\subseteq }T$. Consequently, $T\in pr\left(\psi _{\omega }\times \phi _{\omega }\right)$.

(b) Let $(s, t)_{(x, y)}\widetilde{\in }Cl_{\psi _{\omega }}(S)\times Cl_{\phi _{\omega }}(K)$, and let $T\in \left(pr\left(\psi \times \phi \right) \right) _{\omega }$ with $(s, t)_{(x, y)}\widetilde{\in }T$. By (a), $T\in pr\left(\psi _{\omega }\times \phi _{\omega }\right)$, and thus, we find $W\in \psi _{\omega }$ and $E\in \phi _{\omega }$ with $(s, t)_{(x, y)} \widetilde{\in }W\times E\widetilde{\subseteq }T$. Since $s_{x}\widetilde{ \in }W\widetilde{\cap }Cl_{\psi _{\omega }}(S)$ and $t_{y}\widetilde{\in }E \widetilde{\cap }Cl_{\phi _{\omega }}(K)$, $W\widetilde{\cap }S\neq 0_{B}$ and $E\widetilde{\cap }K\neq 0_{D}$. Consequently, $\left(W\times E\right) \widetilde{\cap }\left(S\times K\right) \neq 0_{B\times D}$, and hence, $T\widetilde{\cap }\left(S\times K\right) \neq 0_{B\times D}$. This implies that $(s, t)_{(x, y)}\widetilde{\in }Cl_{\left(pr\left(\psi \times \phi \right) \right) _{\omega }}(S\times K)$.

Theorem 5.20. Let $(U, \psi, B)$ and $(V, \phi, D)$ be two supra-STSs. If $(U\times V, pr\left(\psi \times \phi \right), B\times D)$ is supra-soft $\omega$-r, then $(U, \psi, B)$ and $(V, \phi, D)$ are supra-soft $\omega$-r.

Proof: Let $F\in \psi$, $G\in \phi$, $s_{x}\widetilde{ \in }F$, and $t_{y}\widetilde{\in }G$. Then, $(s, t)_{(x, y)}\widetilde{\in } F\times G$ $\in$ $pr\left(\psi \times \phi \right)$, and, by the supra-soft $\omega$-regularity of $(U\times V, pr\left(\psi \times \phi \right), B\times D)$, we find $K\in pr\left(\psi \times \phi \right)$ with $(s, t)_{(x, y)}\widetilde{\in }K\widetilde{\subseteq }Cl_{\left(pr\left(\psi \times \phi \right) \right) _{\omega }}(K)\widetilde{\subseteq }F\times G$. Choose $S\in \psi$ and $T\in \phi$ with $(s, t)_{(x, y)}\widetilde{\in } S\times T\widetilde{\subseteq }K$. Then, by Theorem 5.19 (b), $(s, t)_{(x, y)} \widetilde{\in }S\times T\widetilde{\subseteq }Cl_{\psi _{\omega }}(S)\times Cl_{\phi _{\omega }}(T)\widetilde{\subseteq }Cl_{\left(pr\left(\psi \times \phi \right) \right) _{\omega }}(T\times S)\widetilde{\subseteq }Cl_{\left(pr\left(\psi \times \phi \right) \right) _{\omega }}(K)\widetilde{\subseteq }F\times G$. Consequently, we have $s_{x}\widetilde{\in }S\widetilde{ \subseteq }Cl_{\psi _{\omega }}(S)\widetilde{\subseteq }F$ and $t_{y} \widetilde{\in }T\widetilde{\subseteq }Cl_{\psi _{\omega }}(T)\widetilde{ \subseteq }G$. It follows that $(U, \psi, B)$ and $(V, \phi, D)$ are supra-soft $\omega$-r.

Question 5.21. Let $(U, \psi, B)$ and $(V, \phi, D)$ be two supra-soft $\omega$-r supra-STSs. Is $(U\times V, pr\left(\psi \times \phi \right), B\times D)$ supra-soft $\omega$-r?

Theorem 5.22. If $(U, \psi, B)$ is a supra-soft $\omega$-r supra-STS, then for any $\emptyset \neq V\subseteq U$, $(V, \psi _{V}, B)$ is supra-soft $\omega$-r.

Proof: Let $M\in \left(\psi _{V}\right) ^{c}$ and $b_{y}\widetilde{ \in }C_{V}-M$. Choose $N\in$ $\psi ^{c}$ with $M = N\widetilde{\cap }C_{V}$. Since $(U, \psi, B)$ is a supra-soft $\omega$-r, and we have $N\in$ $\psi ^{c}$ and $b_{y}\widetilde{\in }1_{B}-N$, we find $F\in \psi$ and $G\in \psi _{\omega }$ with $a_{y}\widetilde{\in }F$, $N\widetilde{\subseteq } G$, and $F\widetilde{\cap }G = 0_{B}$. Then, $b_{y}\widetilde{\in }F\widetilde{ \cap }C_{V}\in \psi _{V}$, $M = N\widetilde{\cap }C_{V}\widetilde{\subseteq }G \widetilde{\cap }C_{V}$ with $G\widetilde{\cap }C_{V}\in \left(\psi _{\omega }\right) _{V}$, and $\left(F\widetilde{\cap }C_{V}\right) \widetilde{\cap }(G\widetilde{\cap }C_{V}) = \left(F\widetilde{\cap }G\right) \widetilde{\cap }C_{V} = 0_{B}\widetilde{\cap }C_{V} = 0_{B}$. Moreover, by Theorem 3.19, $G\widetilde{\cap }C_{V}\in \left(\psi _{V}\right) _{\omega }$. This completes the proof.

6.   Conclusion and future directions

Soft set theory demonstrates its effectiveness as a mathematical strategy for addressing uncertainty, which is crucial for cognitive analysis and artificial intelligence. Based on soft set theory, many mathematical structures have emerged, including soft topologies and some of their extensions, such as supra-soft topologies.

In this paper, we first defined and investigated a new supra-soft topology using a collection of classical supra-topologies. We then defined supra-soft $\omega$-open sets, a new generalization of supra-soft open sets, using the supra-soft open sets and the countable soft sets. We also showed that supra-soft $\omega$-open sets form a new supra-soft set that is finer than the given supra-soft topology. Finally, we defined and investigated two new classes of supra-topological spaces: supra-soft $\omega$-local indiscrete and supra-soft $\omega$-regular spaces. Specifically, we obtained subspace and product results of supra-soft $\omega$-regular spaces. Finally, we explored the connections between our new concepts and their counterparts in supra-topology.

We intend to do the following in the future papers:

(ⅰ) Define new continuity concepts between supra-soft topological spaces via supra-soft $\omega$-open sets.

(ⅱ) Define supra-soft semi $\omega$-open sets in supra-soft topological spaces.

(ⅲ) Define soft $\omega$-Hausdorff spaces in supra-soft topological spaces.

(ⅳ) Explore how our new notions and results can be applied in digital and approximation spaces, as well as decision-making problems.

(ⅴ) Define supra-fuzzy $\omega$-open sets in supra-fuzzy topological spaces.

Author contributions

Dina Abuzaid and Samer Al-Ghour: Conceptualization, methodology, formal analysis, writing–original draft, writing–review and editing, and funding acquisition. All authors have read and approved the final version of the manuscript for publication.

Use of Generative-AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Conflict of interest

The authors declare that they have no conflicts of interest.