Precise large deviations for aggregate claims in a two-dimensional compound dependent risk model

1.   Introduction and preliminaries

The need for theories that cope with uncertainty emerges from daily experiences with complicated challenges requiring ambiguous facts. Molodstov's ^[1] soft set is a contemporary mathematical approach to coping with these difficulties. Soft collection logic is founded on the parameterization principle, which argues that complex things must be seen from several perspectives, with each aspect providing only a partial and approximate representation of the full item. Molodstov ^[1] was a pioneer in the application of soft sets in a variety of domains, emphasizing their advantages over probability theory and fuzzy set theory, which deal with ambiguity or uncertainty.

Following that, Maji et al. ^[2] began researching soft set operations such as soft unions and soft intersections. To overcome the shortcomings of these operations, Ali et al. ^[3] created and showed new operations such as limited union, intersection, and complement of a soft set. Babitha and Sunil ^[4] investigated numerous aspects of linkages and functions in a soft setting. Qin and Hong ^[5] developed novel kinds of soft equal relations and showed some algebraic properties of them. Their pioneering work paved the way for subsequent papers (for more detail, see ^[6,7] and the references listed therein). Soft set theory has lately been a popular method among academics for dealing with uncertainty in a wide range of fields, including information theory ^[8], computer sciences ^[9], engineering ^[10], and medical sciences ^[11].

Soft topology was introduced by Shabir and Naz in ^[12]. Since then, many soft topological notions, including soft separation axioms ^{[13,14,15,16]}, soft covering axioms ^{[17,18,19,20,21,22]}, soft connectedness ^{[23,24,25,26]}, and different weak and strong types of soft continuity, have been developed and investigated in recent years. The equivalence between the enriched and extended soft topologies was discussed in ^[27].

Separation axioms provide a way to study certain properties of compact and Lindelof spaces, as well as a way to categorize spaces and mappings into distinct families. As a result, topological scholars who presented various kinds of soft separation axioms became interested in soft separation axioms. Generally speaking, they can be separated into two classes: Soft points and ordinary points, based on the subjects being studied. While the authors in ^{[14,15,16,28]} examined soft separation axioms using ordinary points, the authors in ^{[13,29,30,31,32,33]} and others have applied the concept of soft points. In the present work, we introduce soft $\omega$-almost-regularity, soft $\omega$-semi-regularity, and soft $\omega$-$T_{2\frac{1}{2}}$ as three novel soft separation axioms.

This article is organized as follows:

In Section 1, after the introduction, we provide a few definitions that are relevant to this paper.

In Section 2, we define soft $\omega$-almost-regularity as a new soft separation axiom that lies between soft regularity and soft almost-regularity. We introduce many characterizations of this type of soft separation axiom. Also, we provide several sufficient conditions establishing the equivalence between this newly introduced axiom and its relevant counterparts. Moreover, we establish that soft $\omega$ -almost-regularity is heritable for specific types of soft subspaces. Furthermore, we show that soft $\omega$-almost-regularity is a productive soft property. In addition, we investigated the links between this class of soft topological spaces and its analogs in general topology.

In Section 3, we define soft $\omega$-semi-regularity and soft $\omega$-$T_{2\frac{1}{2}}$ as two new soft separation axioms. We show that soft $\omega$-semi-regularity is a weaker form of both soft semi-regularity and soft $\omega$-regularity, and soft $\omega$-$T_{2\frac{1}{2}}$ lies strictly between soft $T_{2\frac{1}{2}}$ and soft $T_{2}$. Also, we provide several sufficient conditions establishing the equivalence between these newly introduced axioms and their relevant counterparts. Moreover, a decomposition theorem for soft regularity through the interplay of soft $\omega$-semi-regularity and soft $\omega$-almost-regularity is obtained. In addition, we investigated the links between these classes of soft topological spaces and their analogs in general topology.

This paper follows the notions and terminologies as appear in ^[34,35,36]. Topological spaces and soft topological spaces, respectively, shall be abbreviated as TS and STS.

The following definitions will be used in the remainder of the paper:

Definition 1.1. A TS $(H, \beta)$ is called

(a) ^[37] almost-regular (A-R, for simplicity) if for every $z\in H$ and every $N\in SC(H, \beta)$ such that $z\in H-N$, we find $U, V\in \beta$ such that $z\in U$, $N\subseteq V$, and $U\cap V = \emptyset$;

(b) ^[38] semi-regular (S-R, for simplicity) if $RO(H, \beta)$ forms a base for $\beta$;

(c) ^[39] $\omega$-almost-regular ($\omega$-A-R, for simplicity) if for every $z\in H$ and every $N\in S\omega C(H, \beta)$ such that $z\in H-N$, we find $U, V\in \beta$ such that $z\in U$, $N\subseteq V$, and $U\cap V = \emptyset$;

(d) ^[39] $\omega$-semi-regular ($\omega$-S-R, for simplicity) if $R\omega O(H, \beta)$ forms a base for $\beta$.

Definition 1.2. A STS $(H, \varphi, \Sigma)$ is called

(a) ^[13] soft $T_{2}$ if for every two soft points $a_{s}, b_{t}\in SP(H, \Sigma)$, we find $K, W\in \varphi$ such that $a_{s}\widetilde{\in }K$, $b_{y}\widetilde{\in }W$, and $K\widetilde{\cap }W = 0_{\Sigma }$;

(b) ^[13] soft regular if for every $a_{z}\in SP(H, \Sigma)$ and every $K\in \varphi$ such that $a_{z}\widetilde{\in }K$, we find $G\in \varphi$ such that $a_{z}\widetilde{\in }G\widetilde{\subseteq }Cl_{\varphi }\left(G\right) \widetilde{\subseteq }K$;

(c) ^[32] soft $T_{2\frac{1}{2}}$ if for every two soft points $a_{s}, b_{t}\in SP(H, \Sigma)$, we find $K, W\in \varphi$ such that $a_{s} \widetilde{\in }K$, $b_{y}\widetilde{\in }W$, and $Cl_{\varphi }\left(K\right) \widetilde{\cap }Cl_{\varphi }\left(W\right) = 0_{\Sigma }$;

(d) ^[31] soft almost-regular (soft A-R, for simplicity) if for every $r_{z}\in SP(H, \Sigma)$ and every $G\in SC(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }1_{\Sigma }-G$, we find $S, T\in \varphi$ such that $r_{z}\widetilde{\in }S$, $G\widetilde{\subseteq }T$, and $S\widetilde{\cap } T = 0_{\Sigma }$.

(d) ^[33] soft $\omega$-regular for every $a_{z}\in SP(H, \Sigma)$ and every $K\in \varphi$ such that $a_{z}\widetilde{\in }K$, we find $G\in \varphi$ such that $a_{z}\widetilde{\in }G\widetilde{\subseteq }Cl_{\varphi _{\omega }}\left(G\right) \widetilde{\subseteq }K$.

(e) ^[22] fully if $G(r)\neq \emptyset$ for every $G\in \varphi -\left\{ 0_{\Sigma }\right\}$ and $r\in \Sigma$.

2.   Soft $\omega$-almost-regular spaces

In this section, we define soft $\omega$-almost-regularity as a new soft separation axiom that lies between soft regularity and soft almost-regularity. We introduce many characterizations of this type of soft separation axiom. Also, we provide several sufficient conditions establishing the equivalence between this newly introduced axiom and its relevant counterparts. Moreover, we establish that soft $\omega$ -almost-regularity is heritable for specific types of soft subspaces. Furthermore, we show that soft $\omega$-almost-regularity is a productive soft property. In addition, we investigated the links between this class of soft topological spaces and its analogs in general topology.

Definition 2.1. An STS $(H, \varphi, \Sigma)$ is called soft $\omega$-almost-regular (soft $\omega$-A-R, for simplicity) if for every $r_{z}\in SP(H, \Sigma)$ and every $G\in S\omega C(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }1_{\Sigma }-G$, we find $S, T\in \varphi$ such that $r_{z}\widetilde{\in }S$, $G\widetilde{\subseteq }T$, and $S\widetilde{\cap } T = 0_{\Sigma }$.

Several characterizations of soft $\omega$-almost-regularity are listed in the following theorem.

Theorem 2.2. The following are equivalent for any STS $(H, \varphi, \Sigma)$:

(1) $(H, \varphi, \Sigma)$ is soft $\omega$-A-R.

(2) For every $r_{z}\in SP(H, \Sigma)$ and every $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$, we find $L\in \varphi$ such that $r_{z}\widetilde{\in }L\widetilde{\subseteq }Cl_{\varphi }\left(L\right) \widetilde{\subseteq }K$.

(3) For every $r_{z}\in SP(H, \Sigma)$ and every $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$, we find $L\in SO(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }L\widetilde{\subseteq } Cl_{\varphi }\left(L\right) \widetilde{\subseteq }K$.

(4) For every $r_{z}\in SP(H, \Sigma)$ and every $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$, we find $L\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }L\widetilde{\subseteq }Cl_{\varphi }\left(L\right) \widetilde{\subseteq }K$.

(5) For every $r_{z}\in SP(H, \Sigma)$ and every $K\in \varphi$ such that $r_{z}\widetilde{\in }K$, there is $L\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }L\widetilde{\subseteq }Cl_{\varphi }\left(L\right) \widetilde{\subseteq }Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(K\right) \right)$.

(6) For every $r_{z}\in SP(H, \Sigma)$ and every $K\in \varphi$ such that $r_{z}\widetilde{\in }K$, there is $L\in \varphi$ such that $r_{z}\widetilde{ \in }L\widetilde{\subseteq }Cl_{\varphi }\left(L\right) \widetilde{ \subseteq }Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(K\right) \right)$.

(7) For every $r_{z}\in SP(H, \Sigma)$ and every $G\in S\omega C(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }1_{\Sigma }-G$, there are $S, T\in \varphi$ such that $r_{z}\widetilde{\in }S$, $G\widetilde{\subseteq }T$, and $Cl_{\varphi }\left(S\right) \widetilde{\cap }Cl_{\varphi }\left(T\right) = 0_{\Sigma }$.

(8) For every $G\in S\omega C(H, \varphi, \Sigma)$, $G = \widetilde{\cap } \left\{ Cl_{\varphi }\left(K\right) :K\in \varphi \text{ and }G\widetilde{ \subseteq }K\right\}$.

(9) For every $G\in S\omega C(H, \varphi, \Sigma)$, $G = \widetilde{\cap } \left\{ Y:Y\in \varphi ^{c}\text{ and }G\widetilde{\subseteq }Int_{\varphi }\left(Y\right) \right\}$.

(10) For every $L\in SS(H, \Sigma)$ and every $M\in S\omega O(H, \varphi, \Sigma)$ such that $L\widetilde{\cap }M\neq 0_{\Sigma }$, there is $K\in \varphi$ such that $L\widetilde{\cap }K\neq 0_{\Sigma }$ and $Cl_{\varphi }(K)\widetilde{\subseteq }M$.

(11) For every $L\in SS(H, \Sigma)-\left\{ 0_{\Sigma }\right\}$ and every $M\in S\omega C(H, \varphi, \Sigma)$ such that $L\widetilde{\cap }M = 0_{\Sigma }$, there are $S, T\in \varphi$ such that $L\widetilde{\cap }S\neq 0_{\Sigma }$ and $M\widetilde{\subseteq }T$.

Proof. (1) $\longrightarrow$ (2): Let $r_{z}\in SP(H, \Sigma)$ and $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$. Then, $r_{z}\widetilde{\notin }1_{\Sigma }-K\in S\omega C(H, \varphi, \Sigma)$ and by (a) there exist $L, T\in \varphi$ such that $r_{z}\widetilde{\in }L$, $1_{\Sigma }-K\widetilde{\subseteq }T$, and $L\widetilde{\cap }T = 0_{\Sigma }$. Thus, $r_{z}\widetilde{\in }L\widetilde{\subseteq }1_{\Sigma }-T \widetilde{\subseteq }K$ with $1_{\Sigma }-T\in \varphi ^{c}$, and so $r_{z} \widetilde{\in }L\widetilde{\subseteq }Cl_{\varphi }\left(L\right) \widetilde{\subseteq }1_{\Sigma }-T\widetilde{\subseteq }K$. This ends the proof.

(2) $\longrightarrow$ (3): Let $r_{z}\in SP(H, \Sigma)$ and $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$. By (2) we find $M\in \varphi$ such that $r_{z}\widetilde{\in }M\widetilde{\subseteq } Cl_{\varphi }\left(M\right) \widetilde{\subseteq }K$. Set $L = Int_{\varphi }\left(Cl_{\varphi }(M)\right)$. Then, $L\in SO(H, \varphi, \Sigma)$. Since $L\widetilde{\subseteq }Cl_{\varphi }(M)\widetilde{\subseteq }K$, $Cl_{\varphi }\left(L\right) \widetilde{\subseteq }Cl_{\varphi }(M) \widetilde{\subseteq }K$. This completes the proof.

(3) $\longrightarrow$ (4): Let $r_{z}\in SP(H, \Sigma)$ and $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$. By (3) we find $L\in SO(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }L\widetilde{ \subseteq }Cl_{\varphi }\left(L\right) \widetilde{\subseteq }K$. Since $L\in SO(H, \varphi, \Sigma)$, and by Theorem 3 of ^[36], we have $RO(H, \varphi, \Sigma)\widetilde{\subseteq }R\omega O(H, \varphi, \Sigma)$, $L\in S\omega O(H, \varphi, \Sigma)$. This completes the proof.

(4) $\longrightarrow$ (5): Let $r_{z}\in SP(H, \Sigma)$ and $K\in \varphi$ such that $r_{z}\widetilde{\in }K$. Since by Theorem 9 of ^[36] $Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(K\right) \right) \in S\omega O(H, \varphi, \Sigma)$, by (4) there is $L\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }L\widetilde{\subseteq } Cl_{\varphi }\left(L\right) \widetilde{\subseteq }Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(K\right) \right)$. This completes the proof.

(5) $\longrightarrow$ (6): Let $r_{z}\in SP(H, \Sigma)$ and $K\in \varphi$ such that $r_{z}\widetilde{\in }K$. Then, by (5) we find $L\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }L\widetilde{\subseteq }Cl_{\varphi }\left(L\right) \widetilde{\subseteq }Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(K\right) \right)$. Since by Theorem 3 of ^[36] we have $R\omega O(H, \varphi, \Sigma)\widetilde{\subseteq }\varphi$, then $L\in \varphi$. This completes the proof.

(6) $\longrightarrow$ (7): Let $r_{z}\in SP(H, \Sigma)$ and $G\in S\omega C(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }1_{\Sigma }-G$. Since by Theorem 3 of ^[36] $R\omega O(H, \varphi, \Sigma)\widetilde{\subseteq } \varphi$, we have $r_{z}\widetilde{\in }1_{\Sigma }-G\in \varphi$. So, by (6) we find $N\in \varphi$ such that $r_{z}\widetilde{\in }N \widetilde{\subseteq }Cl_{\varphi }\left(N\right) \widetilde{\subseteq } Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(1_{\Sigma }-G\right) \right) = 1_{\Sigma }-G$. Again, by (6) we find $S\in \varphi$ such that $r_{z}\widetilde{\in }S\widetilde{\subseteq }Cl_{\varphi }\left(S\right) \widetilde{\subseteq }Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(N\right) \right) \widetilde{\subseteq }Cl_{\varphi }\left(N\right) \widetilde{\subseteq }1_{\Sigma }-G$. Let $T = 1_{\Sigma }-Cl_{\varphi }\left(N\right)$. Then, $S, T\in \varphi$ and $r_{z}\widetilde{\in }S$. Since $Cl_{\varphi }\left(N\right) \widetilde{\subseteq }1_{\Sigma }-G$, then $G \widetilde{\subseteq }1_{\Sigma }-Cl_{\varphi }\left(N\right) = T$.

Claim. $Cl_{\varphi }\left(S\right) \widetilde{\cap }Cl_{\varphi }\left(T\right) = 0_{\Sigma }$.

Proof of Claim. Suppose to the contrary that there is $a_{x}\widetilde{\in }Cl_{\varphi }\left(S\right) \widetilde{\cap } Cl_{\varphi }\left(T\right)$. Since $a_{x}\widetilde{\in }Cl_{\varphi }\left(T\right)$ and $a_{x}\widetilde{\in }Cl_{\varphi }\left(S\right) \widetilde{\subseteq }Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(N\right) \right) \in \varphi$, then $Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(N\right) \right) \widetilde{\cap }T\neq 0_{\Sigma }$. Since $Int_{\varphi }\left(Cl_{\varphi _{\omega }}\left(N\right) \right) \widetilde{\subseteq }Cl_{\varphi }\left(N\right)$, then $Cl_{\varphi }\left(N\right) \widetilde{\cap }T = Cl_{\varphi }\left(N\right) \widetilde{ \cap }\left(1_{\Sigma }-Cl_{\varphi }\left(N\right) \right) \neq 0_{\Sigma }$, a contradiction.

This completes the proof.

(7) $\longrightarrow$ (8): Let $G\in S\omega C(H, \varphi, \Sigma)$. Then, for each $r_{z}\widetilde{\in }1_{\Sigma }-G$, there exist $S_{r_{z}}, T_{r_{z}}\in \varphi$ such that $r_{z}\widetilde{\in }S_{r_{z}}$, $G\widetilde{\subseteq }T_{r_{z}}$, and $Cl_{\varphi }\left(S_{r_{z}}\right) \widetilde{\cap }Cl_{\varphi }\left(T_{r_{z}}\right) = 0_{\Sigma }$. Thus, $G\widetilde{\subseteq }T_{r_{z}}$ and $r_{z}\widetilde{ \notin }Cl_{\varphi }\left(T_{r_{z}}\right)$.

Claim. $G = \widetilde{\cap }\left\{ Cl_{\varphi }\left(T_{r_{z}}\right) :r_{z}\widetilde{\in }1_{\Sigma }-G\right\}$.

Proof of Claim. For every $r_{z}\widetilde{\in }1_{\Sigma }-G$, we have $G\widetilde{\subseteq }T_{r_{z}}\widetilde{\subseteq } Cl_{\varphi }\left(T_{r_{z}}\right)$, and so $G\widetilde{\subseteq } \widetilde{\cap }\left\{ Cl_{\varphi }\left(T_{r_{z}}\right) :r_{z} \widetilde{\in }1_{\Sigma }-G\right\}$. To show that $\widetilde{\cap } \left\{ Cl_{\varphi }\left(T_{r_{z}}\right) :r_{z}\widetilde{\in }1_{\Sigma }-G\right\} \widetilde{\subseteq }G$, let $r_{z}\widetilde{\in }1_{\Sigma }-G$. Then, $r_{z}\widetilde{\notin }Cl_{\varphi }\left(T_{r_{z}}\right)$, and thus $r_{z}\widetilde{\notin }\widetilde{\cap }\left\{ Cl_{\varphi }\left(T_{r_{z}}\right) :r_{z}\widetilde{\in }1_{\Sigma }-G\right\}$.

By the above claim, we conclude that $G\widetilde{\subseteq }\widetilde{\cap } \left\{ Cl_{\varphi }\left(T\right) :T\in \varphi \text{ with }G\widetilde{ \subseteq }T\right\} \widetilde{\subseteq }\widetilde{\cap }\left\{ Cl_{\varphi }\left(T_{r_{z}}\right) :r_{z}\widetilde{\in }1_{\Sigma }-G\right\} = G$. This completes the proof.

(8) $\longrightarrow$ (9): Obvious.

(9) $\longrightarrow$ (10): Let $L\in SS(H, \Sigma)$ and $M\in S\omega O(H, \varphi, \Sigma)$ such that $L\widetilde{\cap }M\neq 0_{\Sigma }$. Pick $a_{x}\widetilde{\in }L\widetilde{\cap }M$. Since $M\in S\omega O(H, \varphi, \Sigma)$, $1_{\Sigma }-M\in S\omega C(H, \varphi, \Sigma)$, and by (9) $1_{\Sigma }-M = \widetilde{\cap }\left\{ Y:Y\in \varphi ^{c}\text{ with } 1_{\Sigma }-M\widetilde{\subseteq }Int_{\varphi }\left(Y\right) \right\}$. Since $a_{x}\widetilde{\in }M$, then $a_{x}\widetilde{\notin }\widetilde{ \cap }\left\{ Y:Y\in \varphi ^{c}\text{ with }1_{\Sigma }-M\widetilde{ \subseteq }Int_{\varphi }\left(Y\right) \right\}$, and thus we find $Y\in \varphi ^{c}$ such that $1_{\Sigma }-M\widetilde{\subseteq }Int_{\varphi }\left(Y\right)$ and $a_{x}\widetilde{\notin }Y$. Let $S = 1_{\Sigma }-Y$. Then, $S\in \varphi$, $S\widetilde{\subseteq }1_{\Sigma }-Int_{\varphi }\left(Y\right) \widetilde{\subseteq }M$, and $a_{x}\widetilde{\in }S \widetilde{\cap }L$. Since $1_{\Sigma }-Int_{\varphi }\left(Y\right) \in \varphi ^{c}$ and $S\widetilde{\subseteq }1_{\Sigma }-Int_{\varphi }\left(Y\right) \widetilde{\subseteq }M$, then $Cl_{\varphi }(S)\widetilde{ \subseteq }M$. This completes the proof.

(10) $\longrightarrow$ (11): Let $L\in SS(H, \Sigma)-\left\{ 0_{\Sigma }\right\}$ and $M\in S\omega C(H, \varphi, \Sigma)$ such that $L\widetilde{ \cap }M = 0_{\Sigma }$. Then, $1_{\Sigma }-M\in S\omega O(H, \varphi, \Sigma)$ such that $L\widetilde{\cap }\left(1_{\Sigma }-M\right) = L\neq 0_{\Sigma }$. Thus, by (10) we find $S\in \varphi$ such that $L\widetilde{\cap }S\neq 0_{\Sigma }$ and $Cl_{\varphi }(S)\widetilde{\subseteq }1_{\Sigma }-M$. Let $T = 1_{\Sigma }-Cl_{\varphi }(S)$. Then, $T\in \varphi$, $M\widetilde{ \subseteq }T$, and $S\widetilde{\cap }T = S\widetilde{\cap }\left(1_{\Sigma }-Cl_{\varphi }(S)\right) = 0_{\Sigma }$.

(11) $\longrightarrow$ (1): $r_{z}\in SP(H, \Sigma)$ and every $G\in S\omega C(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }1_{\Sigma }-G$. Then, $r_{z}\widetilde{\cap }G = 0_{\Sigma }$, and by (11) there exist $S, T\in \varphi$ such that $r_{z}\widetilde{\cap }S\neq 0_{\Sigma }$, $G \widetilde{\subseteq }T$, and $S\widetilde{\cap }T = 0_{\Sigma }$. Since $r_{z} \widetilde{\cap }S\neq 0_{\Sigma }$, then $r_{z}\widetilde{\in }S$. This ends the proof.

In Theorems 2.3, 2.4, 2.7, and Corollary 2.8, we discuss the connections between soft almost-regularity and its analog in traditional topological spaces. Also, in Theorems 2.5, 2.6, 2.9, and Corollary 2.10, we discuss the connections between soft $\omega$-almost-regularity and its analog in traditional topological spaces.

Theorem 2.3. If $(H, \varphi, \Sigma)$ is full and soft A-R, then $\left(H, \varphi _{r}\right)$ is A-R for all $r\in \Sigma$.

Proof. Let $(H, \varphi, \Sigma)$ be full and soft A-R. Let $r\in \Sigma$. Let $z\in H$ and let $W\in \varphi _{r}$ such that $z\in W$. Choose $K\in \varphi$ such that $K\left(r\right) = W$. Since $r_{z} \widetilde{\in }K\in \varphi$, by Theorem 3.4 (ⅳ) of ^[31], we find $L\in \varphi$ such that $r_{z}\widetilde{\in }L\widetilde{\subseteq }Cl_{\varphi }\left(L\right) \widetilde{\subseteq }Int_{\varphi }\left(Cl_{\varphi }\left(K\right) \right)$. By Proposition 7 of ^[12], $Cl_{\varphi _{r}}\left(L\left(r\right) \right) \subseteq \left(Cl_{\varphi }\left(L\right) \right) \left(r\right)$. Also, by Theorem 12 (c) of ^[36], $\left(Int_{\varphi }\left(Cl_{\varphi }\left(K\right) \right) \right) \left(r\right)$ $= Int_{\varphi }\left(Cl_{\varphi }\left(K\left(r\right) \right) \right)$. Therefore, we have

Hence, by Theorem 2.2 (d) of ^[37], it follows that $\left(H, \varphi _{r}\right)$ is A-R.

Theorem 2.4. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft A-R iff $\left(D, \mathcal{L}\right)$ is A-R.

Proof. Necessity. Let $(D, C\left(\mathcal{L}\right), \Sigma)$ be soft A-R. Pick $r\in \Sigma$. Since it is clear that $(D, C\left(\mathcal{L}\right), \Sigma)$ is full, then by Theorem 2.3, $(D, \left(C\left(\mathcal{L}\right) \right) _{r}) = \left(D, \mathcal{L} \right)$ is A-R.

Sufficiency. Let $\left(D, \mathcal{L}\right)$ be A-R. Let $r_{z}\in SP(D, \Sigma)$ and let $C_{U}\in C\left(\mathcal{L}\right)$ such that $r_{z}\widetilde{\in }C_{U}$. Then, we have $z\in U\in \mathcal{L}$. So, by Theorem 2.2 (d) of ^[37], we find $V\in \mathcal{L}$ such that $z\in V\subseteq Cl_{\mathcal{L}}(V)\subseteq Int_{\mathcal{L}}\left(Cl_{\mathcal{ L}}\left(U\right) \right)$. Thus, we have $C_{V}\in C\left(\mathcal{L} \right)$ and $r_{z}\widetilde{\in }C_{V}\widetilde{\subseteq }Cl_{C\left(\mathcal{L}\right) }(C_{V}) =$ $C_{Cl_{\mathcal{L}}(V)}\widetilde{\subseteq } C_{Int_{\mathcal{L}}\left(Cl_{\mathcal{L}}\left(U\right) \right) } = Int_{C\left(\mathcal{L}\right) }\left(Cl_{C\left(\mathcal{L}\right) }(C_{U})\right)$. Therefore, by Theorem 3.4 (ⅳ) of ^[39], $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft A-R.

Theorem 2.5. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-A-R iff $\left(D, \mathcal{L}\right)$ is $\omega$-A-R.

Proof. Necessity. Let $(D, C\left(\mathcal{L}\right), \Sigma)$ be soft $\omega$-A-R. Let $z\in D$ and $U\in \mathcal{L}$ such that $z\in U$. Pick $r\in \Sigma$. Then, we have $r_{z}\widetilde{\in } C_{U}\in C\left(\mathcal{L}\right)$. Since $(D, C\left(\mathcal{L} \right), \Sigma)$ is soft $\omega$-A-R, by Theorem 2.2 (5) we find $V\in \mathcal{L}$ such that $r_{z}\widetilde{\in }C_{V}\widetilde{\subseteq } Cl_{C\left(\mathcal{L}\right) }(C_{V}) = C_{Cl_{\mathcal{L}}(V)}\widetilde{ \subseteq }Int_{C\left(\mathcal{L}\right) }\left(Cl_{\left(C\left(\mathcal{L}\right) \right) _{\omega }}(C_{V})\right) = C_{Int_{\mathcal{L} }\left(Cl_{\mathcal{L}_{\omega }}\left(U\right) \right) }$. Therefore, $z\in V\subseteq Cl_{\mathcal{L}}(V)\subseteq Int_{\mathcal{L}}\left(Cl_{ \mathcal{L}_{\omega }}\left(U\right) \right)$. This shows that $\left(D, \mathcal{L}\right)$ is $\omega$-A-R.

Sufficiency. Let $\left(D, \mathcal{L}\right)$ be $\omega$-A-R. Let $r_{z}\in SP(D, \Sigma)$ and let $C_{U}\in C\left(\mathcal{L}\right)$ such that $r_{z}\widetilde{\in }C_{U}$. Then, we have $z\in U\in \mathcal{L}$. So, by Theorem 2.1 (e) of ^[39], we find $V\in \mathcal{L}$ such that $z\in V\subseteq Cl_{\mathcal{L}}(V)\subseteq Int_{\mathcal{L}}\left(Cl_{\mathcal{ L}_{\omega }}\left(U\right) \right)$. Thus, we have $C_{V}\in C\left(\mathcal{L}\right)$ and $r_{z}\widetilde{\in }C_{V}\widetilde{\subseteq } Cl_{C\left(\mathcal{L}\right) }(C_{V}) = C_{Cl_{\mathcal{L}}(V)}\widetilde{ \subseteq }C_{Int_{\mathcal{L}}\left(Cl_{\mathcal{L}_{\omega }}\left(U\right) \right) } = Int_{C\left(\mathcal{L}\right) }\left(Cl_{\left(C\left(\mathcal{L}\right) \right) _{\omega }}(C_{V})\right)$. Therefore, $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-A-R.

Theorem 2.6. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft regular iff $\left(D, \mathcal{L}\right)$ is regular.

Proof. Necessity. Let $(D, C\left(\mathcal{L}\right), \Sigma)$ be soft regular. Let $z\in D$ and $U\in \mathcal{L}$ such that $z\in U$. Pick $r\in \Sigma$. Then, we have $r_{z}\widetilde{\in }C_{U}\in C\left(\mathcal{L}\right)$. Since $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft regular, we find $V\in \mathcal{L}$ such that $r_{z}\widetilde{\in } C_{V}\widetilde{\subseteq }Cl_{C\left(\mathcal{L}\right) }(C_{V}) = C_{Cl_{ \mathcal{L}}(V)}\widetilde{\subseteq }C_{U}$. Therefore, $z\in V\subseteq Cl_{\mathcal{L}}(V)\subseteq U$. This shows that $\left(D, \mathcal{L} \right)$ is regular.

Sufficiency. Let $\left(D, \mathcal{L}\right)$ be regular. Let $r_{z}\in SP(D, \Sigma)$ and let $C_{U}\in C\left(\mathcal{L}\right)$ such that $r_{z}\widetilde{\in }C_{U}$. Then, we have $z\in U\in \mathcal{L}$. So, we find $V\in \mathcal{L}$ such that $z\in V\subseteq Cl_{\mathcal{L} }(V)\subseteq U$. Thus, we have $C_{V}\in C\left(\mathcal{L}\right)$ and $r_{z}\widetilde{\in }C_{V}\widetilde{\subseteq }C_{Cl_{\mathcal{L} }(V)} = Cl_{C\left(\mathcal{L}\right) }(C_{V})\widetilde{\subseteq }C_{U}$. Therefore, $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft regular.

Theorem 2.7. Let $\left\{ \left(H, \mathcal{L}_{r}\right) :r\in \Sigma \right\}$ be a collection of TSs. Then, $(H, \oplus _{r\in \Sigma } \mathcal{L}_{r}, \Sigma)$ is soft A-R iff $(H, \mathcal{L}_{r})$ is A-R for every $r\in \Sigma$.

Proof. Necessity. Let $(H, \oplus _{r\in \Sigma }\mathcal{L} _{r}, \Sigma)$ be soft A-R and let $r\in \Sigma$. Let $z\in H$ and let $U\in \mathcal{L}_{r}$ such that $z\in U$. Then, $r_{z}\widetilde{\in } r_{U}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$. So, by Theorem 3.4 (ⅳ) of ^[31], we find $L\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ such that $r_{z} \widetilde{\in }L\widetilde{\subseteq }Cl_{\oplus _{r\in \Sigma }\mathcal{L} _{r}}\left(L\right) \widetilde{\subseteq }Int_{\oplus _{r\in \Sigma } \mathcal{L}_{r}}\left(Cl_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(r_{U}\right) \right)$. Thus, we have $z\in L\left(r\right) \in \mathcal{L} _{r}$ and $z\in L\left(r\right) \subseteq \left(Cl_{\oplus _{r\in \Sigma } \mathcal{L}_{r}}\left(L\right) \right) \left(r\right) \subseteq \left(Int_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(Cl_{\oplus _{r\in \Sigma } \mathcal{L}_{r}}\left(r_{U}\right) \right) \right) \left(r\right)$.

In contrast, by Lemma 4.9 of ^[40], $\left(Cl_{\oplus _{r\in \Sigma }\mathcal{L} _{r}}\left(L\right) \right) \left(r\right) = Cl_{\mathcal{L}_{r}}\left(L\left(r\right) \right)$ and $\left(Int_{\oplus _{r\in \Sigma }\mathcal{L} _{r}}\left(Cl_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(r_{U}\right) \right) \right) \left(r\right)$ $= Int_{\mathcal{L}_{r}}\left(\left(Cl_{ \mathcal{L}_{r}}\left(r_{U}\right) \right) \left(r\right) \right) = Int_{ \mathcal{L}_{r}}\left(Cl_{\mathcal{L}_{r}}\left(U\right) \right)$. Thus, by Theorem 3.4 (ⅳ) of ^[31], $(H, \mathcal{L}_{r})$ is A-R.

Sufficiency. Let $(H, \mathcal{L}_{r})$ be A-R for every $r\in \Sigma$. Let $r_{z}\in SP(H, \Sigma)$ and let $K\in \oplus _{r\in \Sigma } \mathcal{L}_{r}$ such that $r_{z}\widetilde{\in }K$. By Theorem 3.5 of ^[34], we find $U\in \mathcal{L}_{r}$ such that $r_{z}\widetilde{\in }r_{U} \widetilde{\subseteq }K$. Then, we have $z\in U\in \mathcal{L}_{r}$. So, by Theorem 2.1 (d) of ^[39], we find $V\in \mathcal{L}_{r}$ such that $z\in V\subseteq Cl_{\mathcal{L}_{r}}(V)\subseteq Int_{\mathcal{L}_{r}}\left(Cl_{ \mathcal{L}_{r}}\left(U\right) \right)$. Thus, we have $r_{V}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ and

Corollary 2.8. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, \tau \left(\mathcal{L}\right), \Sigma)$ is soft A-R iff $\left(D, \mathcal{L}\right)$ is A-R.

Proof. For each $r\in \Sigma$, set $\mathcal{L}_{r} = \mathcal{L}$. Then, $\tau \left(\mathcal{L}\right) = \oplus _{r\in \Sigma }\mathcal{L}_{r}$, and by Theorem 2.7 we get the result.

Theorem 2.9. Let $\left\{ \left(H, \mathcal{L}_{r}\right) :r\in \Sigma \right\}$ be a collection of TSs. Then, $(H, \oplus _{r\in \Sigma } \mathcal{L}_{r}, \Sigma)$ is soft $\omega$-A-R iff $(H, \mathcal{L}_{r})$ is $\omega$-A-R for every $r\in \Sigma$.

Proof. Necessity. Let $(H, \oplus _{r\in \Sigma }\mathcal{L} _{r}, \Sigma)$ be soft $\omega$-A-R and let $r\in \Sigma$. Let $z\in H$ and let $U\in \mathcal{L}_{r}$ such that $z\in U$. Then, $r_{z}\widetilde{\in }r_{U}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$. So, by Theorem 2.2 (e), we find $L\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ such that $r_{z}\widetilde{ \in }L\widetilde{\subseteq }Cl_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(L\right) \widetilde{\subseteq }Int_{\oplus _{r\in \Sigma }\mathcal{L} _{r}}\left(Cl_{\left(\oplus _{r\in \Sigma }\mathcal{L}_{r}\right) _{\omega }}\left(r_{U}\right) \right)$. Thus, we have $z\in L\left(r\right) \in \mathcal{L}_{r}$ and $z\in L\left(r\right) \subseteq \left(Cl_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(L\right) \right) \left(r\right) \subseteq \left(Int_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(Cl_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(r_{U}\right) \right) \right) \left(r\right)$.

In contrast, by Lemma 4.9 of ^[40] and Theorem 8 of ^[35], $\left(Cl_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(L\right) \right) \left(r\right) = Cl_{\mathcal{L}_{r}}\left(L\left(r\right) \right)$ and $Int_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(Cl_{\left(\oplus _{r\in \Sigma }\mathcal{L}_{r}\right) _{\omega }}\left(r_{U}\right) \right) \left(r\right)$ $= Int_{\mathcal{L}_{r}}\left(\left(Cl_{\left(\mathcal{L} _{r}\right) _{\omega }}\left(r_{U}\right) \right) \left(r\right) \right)$ $= Int_{\mathcal{L}_{r}}\left(Cl_{\left(\mathcal{L}_{r}\right) _{\omega }}\left(U\right) \right)$. Thus, by Theorem 2.1 (e) of ^[39] $(H, \mathcal{L }_{r})$ is $\omega$-A-R.

Sufficiency. Let $(H, \mathcal{L}_{r})$ be $\omega$-A-R for every $r\in \Sigma$. Let $r_{z}\in SP(H, \Sigma)$ and let $K\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ such that $r_{z}\widetilde{\in }K$. By Theorem 3.5 of ^[34] we find $U\in \mathcal{L}_{r}$ such that $r_{z}\widetilde{\in }r_{U} \widetilde{\subseteq }K$. Then, we have $z\in U\in \mathcal{L}_{r}$. So, by Theorem 2.1 (e) of ^[39] we find $V\in \mathcal{L}_{r}$ such that $z\in V\subseteq Cl_{\mathcal{L}_{r}}(V)\subseteq Int_{\mathcal{L}_{r}}\left(Cl_{\left(\mathcal{L}_{r}\right) _{\omega }}\left(U\right) \right)$. Thus, we have $r_{V}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ and

Corollary 2.10. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, \tau \left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-A-R iff $\left(D, \mathcal{L}\right)$ is $\omega$-A-R.

Proof. For each $r\in \Sigma$, set $\mathcal{L}_{r} = \mathcal{L}$. Then, $\tau \left(\mathcal{L}\right) = \oplus _{r\in \Sigma }\mathcal{L}_{r}$ and by Theorem 2.9 we get the result.

Theorem 2.11. Soft regular STSs are soft $\omega$-A-R.

Proof. Let $(H, \varphi, \Sigma)$ be soft regular. Let $r_{z}\in SP(H, \Sigma)$ and $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z} \widetilde{\in }K$. Since by Theorem 3 of ^[36] we have $R\omega O(H, \varphi, \Sigma)\subseteq \varphi$, then $K\in \varphi$. Since $(H, \varphi, \Sigma)$ is soft regular, then we find $G\in \varphi$ such that $r_{z} \widetilde{\in }G\widetilde{\subseteq }Cl_{\varphi }\left(G\right) \widetilde{\subseteq }K$. Thus, by Theorem 2.2 (2) $(H, \varphi, \Sigma)$ is soft $\omega$-A-R.

Theorem 2.12. Soft $\omega$-A-R STSs are soft A-R.

Proof. Let $(H, \varphi, \Sigma)$ be soft $\omega$-A-R. Let $r_{z}\in SP(H, \Sigma)$ and $K\in SO(H, \varphi, \Sigma)$ such that $r_{z} \widetilde{\in }K$. Since by Theorem 3 of ^[36] we have $RO(H, \varphi, \Sigma)\subseteq R\omega O(H, \varphi, \Sigma)$, then $K\in S\omega O(H, \varphi, \Sigma)$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-A-R, then by Theorem 2.2 (b) there is $G\in \varphi$ such that $r_{z}\widetilde{ \in }G\widetilde{\subseteq }Cl_{\varphi }\left(G\right) \widetilde{ \subseteq }K$. Thus, by Theorem 2.2 (b) of ^[31], $(H, \varphi, \Sigma)$ is soft A-R.

Theorem 2.13. Soft L-C soft $\omega$-A-R STSs are soft regular.

Proof. Let $(H, \varphi, \Sigma)$ be soft L-C and soft $\omega$ -A-R. Let $r_{z}\in SP(H, \Sigma)$ and $K\in \varphi$ such that $r_{z} \widetilde{\in }K$. Since $(H, \varphi, \Sigma)$ is soft L-C, then by Theorem 5 of ^[36] $K\in S\omega O(H, \varphi, \Sigma)$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-A-R, then by Theorem 2.2 (2) there is $G\in \varphi$ such that $r_{z}\widetilde{\in }G\widetilde{\subseteq }Cl_{\varphi }\left(G\right) \widetilde{\subseteq }K$. Therefore, $(H, \varphi, \Sigma)$ is soft regular.

Theorem 2.14. Soft anti-L-C soft A-R STSs are soft $\omega$-A-R.

Proof. Let $(H, \varphi, \Sigma)$ be soft anti-L-C and soft A-R. Let $r_{z}\in SP(H, \Sigma)$ and $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$. Since $(H, \varphi, \Sigma)$ is anti-L-C, then by Theorem 6 of ^[36] $K\in SO(H, \varphi, \Sigma)$. Since $(H, \varphi, \Sigma)$ is soft A-R, then by Theorem 3.4 (ⅱ) of ^[31] there is $G\in \varphi$ such that $r_{z}\widetilde{\in }G\widetilde{\subseteq }Cl_{\varphi }\left(G\right) \widetilde{\subseteq }K$. Therefore, by Theorem 2.2 (b), $(H, \varphi, \Sigma)$ is soft $\omega$-A-R.

Theorem 2.15. For any STS $(H, \varphi, \Sigma)$, $(H, \varphi _{\omega }, \Sigma)$ is soft A-R iff $(H, \varphi, \Sigma)$ is soft $\omega$ -A-R.

Proof. Necessity. Let $(H, \varphi _{\omega }, \Sigma)$ be soft A-R. Let $r_{z}\in SP(H, \Sigma)$ and $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }K$. By Theorem 7 of ^[36] $K\in SO(H, \varphi _{\omega }, \Sigma)$. Since $(H, \varphi _{\omega }, \Sigma)$ is soft A-R, then by Theorem 3.4 (ⅱ) of ^[31] there is $G\in \varphi$ such that $r_{z}\widetilde{\in }G\widetilde{\subseteq }Cl_{\varphi }\left(G\right) \widetilde{\subseteq }K$. Therefore, by Theorem 2.2 (b) $(H, \varphi, \Sigma)$ is soft $\omega$-A-R.

Sufficiency. Let $(H, \varphi, \Sigma)$ be soft $\omega$-A-R. Let $r_{z}\in SP(H, \Sigma)$ and $K\in SO(H, \varphi _{\omega }, \Sigma)$ such that $r_{z}\widetilde{\in }K$. By Theorem 7 of ^[36] $K\in S\omega O(H, \varphi, \Sigma)$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-A-R, then by Theorem 2.2 (2) there is $G\in \varphi$ such that $r_{z}\widetilde{ \in }G\widetilde{\subseteq }Cl_{\varphi }\left(G\right) \widetilde{ \subseteq }K$. Therefore, by Theorem 3.4 (ⅱ) of ^[31] $(H, \varphi _{\omega }, \Sigma)$ is soft A-R.

The previously mentioned theorems lead to the following implications, yet Examples 2.16 and 2.17 that follow demonstrate that the opposite of these implications is false.

The following two examples show that any of the conditions soft L-C and soft anti-L-C in Theorems 2.13 and 2.14 cannot be dropped:

Example 2.16. Consider $(\mathbb{R}, C\left(\Theta \right), \mathbb{Z})$, where $\Theta$ is the cofinite topology on $\mathbb{R}$. Since $(\mathbb{R}, \Theta)$ is not regular, by Theorem 2.6 $(\mathbb{R}, C\left(\Theta \right), \mathbb{Z})$ is not soft regular. In contrast, since $(\mathbb{R}, C\left(\Theta \right), \mathbb{Z})$ is anti-L-C, then by Theorem 6 of ^[36] $R\omega O(\mathbb{R}, C\left(\Theta \right), \mathbb{Z}) = RO(\mathbb{R}, C\left(\Theta \right), \mathbb{Z}) = \left\{ 0_{ \mathbb{Z} }, 1_{ \mathbb{Z} }\right\}$, and thus $(\mathbb{R}, C\left(\Theta \right), \mathbb{Z})$ is soft $\omega$-A-R.

Example 2.17. Consider $(\mathbb{N}, C\left(\Theta \right), \left\{ a, b\right\})$, where $\Theta$ is the cofinite topology on $\mathbb{N}$. Since $(\mathbb{N}, \Theta)$ is not regular, by Theorem 2.6 $(\mathbb{N}, C\left(\Theta \right), \left\{ a, b\right\})$ is not soft regular. Since $(\mathbb{N}, C\left(\Theta \right), \left\{ a, b\right\})$ is soft L-C, then by Theorem 2.13 $(\mathbb{N}, C\left(\Theta \right), \left\{ a, b\right\})$is not soft $\omega$-A-R. In contrast, since $RO(\mathbb{N}, C\left(\Theta \right), \left\{ a, b\right\}) = \left\{ 0_{\left\{ a, b\right\} }, 1_{\left\{ a, b\right\} }\right\}$, then $(\mathbb{N}, C\left(\Theta \right), \left\{ a, b\right\})$ is soft A-R.

The following lemma will be used in the next main result:

Lemma 2.18. Let $(H, \varphi, \Sigma)$ be an STS. If $C_{Y}$ is a soft dense subset of $(H, \varphi _{\omega }, \Sigma)$, then for any soft subset $H\in SS\left(Y, \Sigma \right)$ $Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H)) = Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap }C_{Y}$.

Proof. Suppose that $C_{Y}$ is a soft dense subset of $(H, \varphi _{\omega }, \Sigma)$ and let $H\in SS\left(Y, \Sigma \right)$. To see that $Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H))\widetilde{ \subseteq }Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap }C_{Y}$, let $a_{x}\widetilde{\in }Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H))$. Since $Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H))\in \varphi _{Y}$, then there is $M\in \varphi$ such that $Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H)) = M \widetilde{\cap }C_{Y}$. Thus, we have $a_{x}\widetilde{\in }M\widetilde{ \cap }C_{Y}\widetilde{\subseteq }Cl_{\left(\varphi _{\omega }\right) _{Y}}(H) = \left(Cl_{\varphi _{\omega }}(H)\right) \widetilde{\cap }C_{Y}$.

Claim. $M\widetilde{\subseteq }Cl_{\varphi _{\omega }}(H)$.

Proof of Claim. Suppose to the contrary that $M\widetilde{ \cap }\left(1_{\Sigma }-Cl_{\varphi _{\omega }}(H)\right) \neq 0_{\Sigma }$. Since $1_{\Sigma }-Cl_{\varphi _{\omega }}(H)\in \varphi _{\omega }$ and $M\in \varphi \subseteq \varphi _{\omega }$, then $M\widetilde{\cap }\left(1_{\Sigma }-Cl_{\varphi _{\omega }}(H)\right) \in \varphi _{\omega }$. Since $C_{Y}$ is soft dense in $(H, \varphi _{\omega }, \Sigma)$, then $M\widetilde{ \cap }\left(1_{\Sigma }-Cl_{\varphi _{\omega }}(H)\right) \widetilde{\cap } C_{Y}\neq 0_{\Sigma }$. Choose $b_{y}\widetilde{\in }M\widetilde{\cap } \left(1_{\Sigma }-Cl_{\varphi _{\omega }}(H)\right) \widetilde{\cap }C_{Y}$. Thus, we have $b_{y}\widetilde{\in }1_{\Sigma }-Cl_{\varphi _{\omega }}(H)$ and $b_{y}\widetilde{\in }M\widetilde{\cap }C_{Y}\widetilde{\subseteq } \left(Cl_{\varphi _{\omega }}(H)\right) \widetilde{\cap }C_{Y}\widetilde{ \subseteq }Cl_{\varphi _{\omega }}(H)$, a contradiction.

Therefore, by the above Claim, we must have $a_{x}\widetilde{\in }M \widetilde{\subseteq }Cl_{\varphi _{\omega }}(H)$, and hence $a_{x}\widetilde{ \in }Int_{\varphi }(Cl_{\varphi _{\omega }}(H)$. Hence, $a_{x}\widetilde{\in }Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap }C_{Y}$.

To see that $Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap }C_{Y} \widetilde{\subseteq }Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H))$, let $a_{x}\widetilde{\in }Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap }C_{Y}$. Since $a_{x}\widetilde{\in } Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\in \varphi$, then there is $M\in \varphi$ such that $a_{x}\widetilde{\in }M\widetilde{\subseteq }Cl_{\varphi _{\omega }}(H)$ and so $a_{x}\widetilde{\in }M\widetilde{\cap }C_{Y} \widetilde{\subseteq }Cl_{\varphi _{\omega }}(H)\widetilde{\cap } C_{Y} = Cl_{\left(\varphi _{\omega }\right) _{Y}}(H)$. Since $M\widetilde{ \cap }C_{Y}\in \varphi _{\omega }$, then $a_{x}\widetilde{\in }Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H))$.

Theorems 2.19 and 2.21 establish that soft $\omega$-almost-regularity is heritable for specific types of soft subspaces.

Theorem 2.19. If $(H, \varphi, \Sigma)$ is a soft $\omega$-A-R STS and $C_{Y}$ is a soft dense subspace of $(H, \varphi _{\omega }, \Sigma)$, then $(Y, \varphi _{Y}, \Sigma)$ is soft $\omega$-A-R.

Proof. Let $a_{x}\in SP\left(Y, \Sigma \right)$ and let $H\in S\omega O(Y, \varphi _{Y}, \Sigma)$ such that $a_{x}\widetilde{\in }H$. Since $H\in S\omega O(Y, \varphi _{Y}, \Sigma)$, then $Int_{\varphi _{Y}}(Cl_{\left(\varphi _{Y}\right) _{\omega }}(H)) = H$. Since by Theorem 15 of ^[35] $\left(\varphi _{\omega }\right) _{Y} = \left(\varphi _{Y}\right) _{\omega }$, then $Int_{\varphi _{Y}}(Cl_{\left(\varphi _{\omega }\right) _{Y}}(H)) = H$. So, by Lemma 2.18 $H = Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap }C_{Y}$. Thus, we have $a_{x}\widetilde{\in } Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\in S\omega O(H, \varphi, \Sigma)$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-A-R, then by Theorem 2.2 (2) there is $L\in \varphi$ such that $a_{x}\widetilde{\in }L\widetilde{ \subseteq }Cl_{\varphi }(L)\widetilde{\subseteq }Int_{\varphi }(Cl_{\varphi _{\omega }}(H))$. Therefore, we have $a_{x}\widetilde{\in }L\widetilde{\cap } C_{Y}\in \varphi _{Y}$ and $Cl_{\varphi _{Y}}(L\widetilde{\cap } C_{Y}) = Cl_{\varphi }(L\widetilde{\cap }C_{Y})\widetilde{\cap }C_{Y} \widetilde{\subseteq }Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{ \cap }C_{Y} = H$. This shows that $(Y, \varphi _{Y}, \Sigma)$ is soft $\omega$ -A-R.

The following lemma will be used in the next main result:

Lemma 2.20. Let $(H, \varphi, \Sigma)$ be an STS and let $C_{Y}\in S\omega O(H, \varphi, \Sigma)-\left\{ 0_{\Sigma }\right\}$, then $R\omega O(Y, \varphi _{Y}, \Sigma)\subseteq R\omega O(H, \varphi, \Sigma)$.

Proof. Let $C_{Y}\in S\omega O(H, \varphi, \Sigma)-\left\{ 0_{\Sigma }\right\}$ and let $H\in S\omega O(Y, \varphi _{Y}, \Sigma)$. Then, $H = Int_{\varphi _{Y}}(Cl_{\left(\varphi _{Y}\right) _{\omega }}(H))$. Since by Theorem 15 of ^[35], $\left(\varphi _{\omega }\right) _{Y} = \left(\varphi _{Y}\right) _{\omega }$, then $Cl_{\left(\varphi _{Y}\right) _{\omega }}(H) = Cl_{\left(\varphi _{\omega }\right) _{Y}}(H) = Cl_{\varphi _{\omega }}(H)\widetilde{\cap }C_{Y}$. Since by Theorem 3 of ^[36] $R\omega O(H, \varphi, \Sigma)\subseteq \varphi$, then $C_{Y}\in \varphi$ and so $Int_{\varphi _{Y}}(Cl_{\left(\varphi _{Y}\right) _{\omega }}(H)) = Int_{\varphi }((Cl_{\left(\varphi _{Y}\right) _{\omega }}(H)))$. Thus, $H = Int_{\varphi }(Cl_{\varphi _{\omega }}(H)\widetilde{\cap } C_{Y})$ $= Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap } Int_{\varphi }(C_{Y}) = Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{ \cap }C_{Y}$. Since $H\widetilde{\subseteq }C_{Y}$, then $Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\subseteq }Int_{\varphi }(Cl_{\varphi _{\omega }}(C_{Y})) = C_{Y}$ and thus, $Int_{\varphi }(Cl_{\varphi _{\omega }}(H))\widetilde{\cap }C_{Y} = Int_{\varphi }(Cl_{\varphi _{\omega }}(H))$. Therefore, $H = Int_{\varphi }(Cl_{\varphi _{\omega }}(H))$. Hence, $H\in S\omega O(H, \varphi, \Sigma)$.

Theorem 2.21. If $(H, \varphi, \Sigma)$ is a soft $\omega$-A-R STS and $C_{Y}\in S\omega O(H, \varphi, \Sigma)-\left\{ 0_{\Sigma }\right\}$, then $(Y, \varphi _{Y}, \Sigma)$ is soft $\omega$-A-R.

Proof. Let $a_{x}\in SP\left(Y, R\right)$ and let $H\in S\omega O(Y, \varphi _{Y}, \Sigma)$ such that $a_{x}\widetilde{\in }H$. By Lemma 2.20, $H\in S\omega O(H, \varphi, \Sigma)$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-A-R, then by Theorem 2.2 (2) there is $L\in \varphi$ such that $a_{x}\widetilde{\in }L\widetilde{\subseteq }Cl_{\varphi }(L)\widetilde{ \subseteq }H$. Therefore, we have $a_{x}\widetilde{\in }L\widetilde{\cap } C_{Y}\in \varphi _{Y}$ and $Cl_{\varphi _{Y}}(L) = Cl_{\varphi }(L)\widetilde{ \cap }C_{Y}\widetilde{\subseteq }H$. Hence, $(Y, \varphi _{Y}, \Sigma)$ is soft $\omega$-A-R.

The following lemma will be used in Theorems 2.23 and 3.33:

Lemma 2.22. For any two STSs $(Z, \delta, \Sigma)$ and $\left(W, \rho, \Psi \right)$, $\left(\delta \times \rho \right) _{\delta _{\omega }}\subseteq \delta _{\delta _{\omega }}\times \rho _{\delta _{\omega }}$.

Proof. Let $T\in \left(\delta \times \rho \right) _{\delta _{\omega }}$ and $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }T$. Then, by Theorem 20 of ^[36] we find $S\in S\omega O(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }S = Int_{\delta \times \rho }\left(Cl_{\left(\delta \times \rho \right) _{\omega }}\left(S\right) \right) \widetilde{\subseteq }T$. Choose $L\in \delta$ and $M\in \rho$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }L\times M\widetilde{\subseteq }S\widetilde{ \subseteq }T$. By Proposition 3 (b) of ^[33] we have $Cl_{\delta _{\omega }}\left(L\right) \times Cl_{\rho _{\omega }}\left(M\right) \widetilde{ \subseteq }Cl_{\left(\delta \times \rho \right) _{\omega }}\left(L\times M\right)$, and so

By Theorem 9 and Corollary 7 of ^[36], $Int_{\delta }\left(Cl_{\delta _{\omega }}\left(L\right) \right) \in \delta _{\delta _{\omega }}$ and $Int_{\rho }\left(Cl_{\rho _{\omega }}\left(M\right) \right) \in \rho _{\delta _{\omega }}$. It follows that $T\in \delta _{\delta _{\omega }}\times \rho _{\delta _{\omega }}$.

The following result shows that soft $\omega$-almost-regularity is a productive soft property:

Theorem 2.23. The soft product of two soft $\omega$-A-R STSs is soft $\omega$-A-R.

Proof. Let $(Z, \delta, \Sigma)$ and $\left(W, \rho, \Psi \right)$ be two soft $\omega$-A-R STSs. Let $\left(e, f\right) _{\left(z, w\right) } \widetilde{\in }SP\left(Z\times W, \Sigma \times \Psi \right)$ and let $K\in S\omega O(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }K$. Then, by Corollary 7 of ^[36] $G\in \left(\delta \times \rho \right) _{\delta _{\omega }}$. So, by Lemma 2.22 $K\in \delta _{\delta _{\omega }}\times \rho _{\delta _{\omega }}$. Thus, there are $L\in \delta _{\delta _{\omega }}$ and $M\in \rho _{\delta _{\omega }}$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }L\times M\widetilde{\subseteq }K$. By Corollary 7 of ^[36] we find $S\in S\omega O(Z, \delta, \Sigma)$ and $T\in S\omega O\left(W, \rho, \Psi \right)$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }S\times T\widetilde{\subseteq }L\times M \widetilde{\subseteq }G$. So, by Theorem 2.2 (2) there are $M\in \delta$ and $N\in \rho$ such that $e_{z}\widetilde{\in }M\widetilde{\subseteq } Cl_{\delta }\left(M\right) \widetilde{\subseteq }S$ and $f_{w}\widetilde{ \in }N\widetilde{\subseteq }Cl_{\rho }\left(N\right) \widetilde{\subseteq } T$. Therefore, we have $M\times N\in \delta \times \rho$ and $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }M\times N\widetilde{ \subseteq }Cl_{\delta \times \rho }\left(M\times N\right) = Cl_{\delta }\left(M\right)$ $\times Cl_{\rho }\left(N\right) \widetilde{\subseteq } S\times T\widetilde{\subseteq }L\times M\widetilde{\subseteq }K$. Again, by Theorem 2.2 (2) $(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ is soft $\omega$-A-R.

The following result shows that soft almost-regularity is a productive soft property:

Theorem 2.24. Let $(Z, \delta, \Sigma)$ and $\left(W, \rho, \Psi \right)$ be two STSs. Then $(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ is soft A-R iff $(Z, \delta, \Sigma)$ and $\left(W, \rho, \Psi \right)$ are both soft A-R.

Proof. Necessity. Let $(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ be soft A-R. To see that $(Z, \delta, \Sigma)$ is soft A-R, let $e_{z}\in SP\left(Z, \Sigma \right)$ and $G\in SO(Z, \delta, \Sigma)$ such that $e_{z}\widetilde{\in }G$. Choose $f_{w}\widetilde{\in } SP(W, F)$. Then, $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }\in G\times 1_{\Psi }\in SO(Z\times W, \delta \times \rho, \Sigma \times \Psi)$. Thus, by Theorem 3.4 (ⅱ) of ^[31] we find $H\in \delta \times \rho$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }H\widetilde{ \subseteq }Cl_{\delta \times \rho }\left(H\right) \widetilde{\subseteq } G\times 1_{\Psi }$. Choose $M\in \delta$ and $N\in \rho$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }M\times N\widetilde{ \subseteq }H$. Thus,

Therefore, we have $e_{z}\widetilde{\in }M\widetilde{\subseteq }Cl_{\delta }\left(M\right) \widetilde{\subseteq }G$. Hence, by Theorem 3.4 (ⅱ) of ^[31] $(Z, \delta, \Sigma)$ is soft A-R. Similarly, we can show that $\left(W, \rho, \Psi \right)$ is soft A-R.

Sufficiency. Let $(Z, \delta, \Sigma)$ and $\left(W, \rho, \Psi \right)$ be soft A-R. Let $\left(e, f\right) _{\left(z, w\right) } \widetilde{\in }SP\left(Z\times W, \Sigma \times \Psi \right)$ and let $K\in SO(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ such that $\left(e, f\right) _{\left(z, w\right) }\widetilde{\in }K$. Choose $M\in \delta$ and $N\in \rho$ such that $\left(e, f\right) _{\left(z, w\right) } \widetilde{\in }M\times N\widetilde{\subseteq }K$. Since $e_{z}\widetilde{ \in }M$ and $f_{w}\widetilde{\in }N$, by Theorem 3.4 (ⅳ) of ^[31] there are $S\in SO(Z, \delta, \Sigma)$ and $T\in SO(W, \rho, \Psi)$ such that $e_{z} \widetilde{\in }S\widetilde{\subseteq }Cl_{\delta }\left(S\right) \widetilde{\subseteq }Int_{\delta }\left(Cl_{\delta }\left(M\right) \right)$ and $f_{w}\widetilde{\in }T\widetilde{\subseteq }Cl_{\rho }\left(T\right) \widetilde{\subseteq }Int_{\rho }\left(Cl_{\rho }\left(N\right) \right)$. Thus, we have $S\times T\in SO(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ and

Therefore, by Theorem 3.4 (ⅳ) of ^[31] $(Z\times W, \delta \times \rho, \Sigma \times \Psi)$ is soft A-R.

3.   Soft $\omega$-semi-regular and soft $\omega$-T$_{2 \frac{1}{2}}$ spaces

In this section, we define soft $\omega$-semi-regularity and soft $\omega$- $T_{2\frac{1}{2}}$ as two new soft separation axioms. We show that soft $\omega$-semi-regularity is a weaker form of both soft semi-regularity and soft $\omega$-regularity, and soft $\omega$-$T_{2\frac{1}{2}}$ lies strictly between soft $T_{2\frac{1}{2}}$ and soft $T_{2}$. Also, we provide several sufficient conditions establishing the equivalence between these newly introduced axioms and their relevant counterparts. Moreover, a decomposition theorem for soft regularity through the interplay of soft $\omega$-semi-regularity and soft $\omega$-almost-regularity is obtained. In addition, we investigated the links between these classes of soft topological spaces and their analogs in general topology.

Definition 3.1. An STS $(H, \varphi, \Sigma)$ is called soft $\omega$-semi-regular (soft $\omega$-S-R, for simplicity) if $R\omega O(H, \varphi, \Sigma)$ forms a soft base for $\varphi$.

Two characterizations of soft $\omega$-semi-regularity are listed in the following theorem.

Theorem 3.2. For any STS $(H, \varphi, \Sigma)$, T.F.A.E:

(a) $(H, \varphi, \Sigma)$ is soft $\omega$-S-R.

(b) For every $H\in \varphi -\left\{ 0_{\Sigma }\right\}$ and every $r_{z} \widetilde{\in }H$, we find $K\in \varphi$ such that $r_{z}\widetilde{\in }K \widetilde{\subseteq }Int_{\varphi }\left(Cl_{\varphi _{\omega }}(K)\right) \widetilde{\subseteq }H$.

(c) $\varphi _{\delta _{\omega }} = \varphi$.

Proof. (a) $\longrightarrow$ (b): Let $H\in \varphi -\left\{ 0_{\Sigma }\right\}$ and let $r_{z}\widetilde{\in }H$. By (a) we find $K\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in } K = Int_{\varphi }\left(Cl_{\varphi _{\omega }}(K)\right) \widetilde{ \subseteq }H$.

(b) $\longrightarrow$ (c): By Theorem 21 of ^[36] we have $\varphi _{\delta _{\omega }}\widetilde{\subseteq }\varphi$. To show that $\varphi \subseteq \varphi _{\delta _{\omega }}$, let $H\in \varphi -\left\{ 0_{\Sigma }\right\}$, then for every $r_{z}\widetilde{\in }H$ we find $K_{r_{z}}\in \varphi$ such that $r_{z}\widetilde{\in }K_{r_{z}}\widetilde{\subseteq } Int_{\varphi }\left(Cl_{\varphi _{\omega }}(K_{r_{z}})\right) \widetilde{ \subseteq }H$. Let $K = \widetilde{\cup }_{r_{z}\widetilde{\in }H}Int_{\varphi }\left(Cl_{\varphi _{\omega }}(K_{r_{z}})\right)$. Since for every $r_{z} \widetilde{\in }H$ $Int_{\varphi }\left(Cl_{\varphi _{\omega }}(K_{r_{z}})\right) \in S\omega O(H, \varphi, \Sigma)\subseteq \varphi _{\delta _{\omega }}$, then $K\in \varphi _{\delta _{\omega }}$.

(c) $\longrightarrow$ (a): Since $R\omega O(H, \varphi, \Sigma)$ is a soft base for $\varphi _{\delta _{\omega }}$, and by (c) $\varphi _{\delta _{\omega }} = \varphi$, then $R\omega O(H, \varphi, \Sigma)$ is a soft base for $\varphi$. Therefore, $(H, \varphi, \Sigma)$ is soft $\omega$-S-R.

Corollary 3.3. Every soft $\omega$-regular STS is soft $\omega$ -S-R.

Proof. The proof follows from Theorem 25 of ^[36] and Theorem 3.2.

Theorem 3.4. Every soft S-R STS is soft $\omega$-S-R.

Proof. Let $(H, \varphi, \Sigma)$ be soft S-R. Then $\varphi _{\delta } = \varphi$. So, by Theorem 21 of ^[36] $\varphi = \varphi _{\delta }\subseteq \varphi _{\delta _{\omega }}\subseteq \varphi$, and thus $\varphi _{\delta _{\omega }} = \varphi$. Therefore, by Theorem 3.2, $(H, \varphi, \Sigma)$ is soft $\omega$-S-R.

Theorem 3.5. Every soft $\omega$-S-R soft anti-L-C STS is soft S-R.

Proof. Let $(H, \varphi, \Sigma)$ be soft $\omega$-S-R soft anti-L-C. Since $(H, \varphi, \Sigma)$ is soft $\omega$-S-R, then $R\omega O(H, \varphi, \Sigma)$ is a soft base for $\varphi$. Since $(H, \varphi, \Sigma)$ is soft anti-L-C, then by Theorem 6 of ^[36], $RO(H, \varphi, \Sigma) = R\omega O(H, \varphi, \Sigma)$. So, $RO(H, \varphi, \Sigma)$ is a soft base for $\varphi$. Hence, $(H, \varphi, \Sigma)$ is soft S-R.

The following implications come from the previous theorems; nevertheless, Examples 3.15 and 3.16 show that the converses of these implications are not true.

Theorem 3.6. Soft L-C STSs are soft $\omega$-S-R.

Proof. Let $(D, \varphi, \Sigma)$ be soft L-C. Then, by Theorem 5 of ^[36] $R\omega O(D, \varphi, \Sigma) = \varphi$. So, $R\omega O(D, \varphi, \Sigma)$ is a soft base for $\varphi$. Hence, $(D, \varphi, \Sigma)$ is soft $\omega$-S-R.

Theorem 3.7. Let $(D, \varphi, \Sigma)$ be an STS. If $(D, \varphi _{\omega }, \Sigma)$ is soft $\omega$-S-R, then $(D, \varphi _{\omega }, \Sigma)$ is soft S-R.

Proof. Let $(D, \varphi _{\omega }, \Sigma)$ be soft $\omega$-S-R. Then, $R\omega O(D, \varphi _{\omega }, \Sigma)$ is a soft base for $\varphi _{\omega }$. Since by Theorem 7 of ^[36] $R\omega O(D, \varphi _{\omega }, \Sigma) = RO(D, \varphi _{\omega }, \Sigma)$, then $RO(D, \varphi _{\omega }, \Sigma)$ is a soft base for $\varphi _{\omega }$. Hence, $(D, \varphi _{\omega }, \Sigma)$ is soft S-R.

In Theorems 3.8, 3.9, 3.11, and Corollary 3.12, we discuss the connections between soft semi-regularity and its analog in traditional topological spaces. Also, in Theorems 3.10, 3.13, and Corollary 3.14, we discuss the connections between soft $\omega$-semi-regularity and its analog in traditional topological spaces.

Theorem 3.8. If $(H, \varphi, \Sigma)$ is full and soft S-R, then $\left(H, \varphi _{r}\right)$ is S-R for all $r\in \Sigma$.

Proof. Let $(H, \varphi, \Sigma)$ be full and soft S-R. Let $r\in \Sigma$. Let $z\in H$ and let $W\in \varphi _{r}$ such that $z\in W$. Choose $K\in \varphi$ such that $K\left(r\right) = W$. Since $(H, \varphi, \Sigma)$ is soft S-R and $r_{z}\widetilde{\in }K\in \varphi$, we find $L\in SO(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }L\widetilde{ \subseteq }K$ and so $z\in L\left(r\right) \subseteq K\left(r\right) = W$. In contrast, by Theorem 13 of ^[36], $L\left(r\right) \in SO(H, \varphi _{r})$. This shows that $\left(H, \varphi _{r}\right)$ is S-R for all $r\in \Sigma$.

Theorem 3.9. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft S-R iff $\left(D, \mathcal{L}\right)$ is S-R.

Proof. Necessity. Let $(D, C\left(\mathcal{L}\right), \Sigma)$ be soft S-R. Pick $r\in \Sigma$. Since it is clear that $(D, C\left(\mathcal{L}\right), \Sigma)$ is full, then by Theorem 3.8 $(D, \left(C\left(\mathcal{L}\right) \right) _{r}) = \left(D, \mathcal{L} \right)$ is S-R.

Sufficiency. Let $\left(D, \mathcal{L}\right)$ be S-R. Let $r_{z}\in SP(D, \Sigma)$ and let $C_{U}\in C\left(\mathcal{L}\right)$ such that $r_{z}\widetilde{\in }C_{U}$. Then, we have $z\in U\in \mathcal{L}$. So, we find $V\in SO\left(D, \mathcal{L}\right)$ such that $z\in Int_{\mathcal{L }}\left(Cl_{\mathcal{L}}\left(V\right) \right) \subseteq U$. Thus, we have $C_{V}\in C\left(\mathcal{L}\right)$ and $r_{z}\widetilde{\in }C_{Int_{ \mathcal{L}}\left(Cl_{\mathcal{L}}\left(V\right) \right) } = Int_{C\left(\mathcal{L}\right) }\left(Cl_{C\left(\mathcal{L}\right) }(C_{V})\right) \widetilde{\subseteq }C_{U}$. This shows that $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft S-R.

Theorem 3.10. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-S-R iff $\left(D, \mathcal{L}\right)$ is $\omega$-S-R.

Proof. Necessity. Let $(D, C\left(\mathcal{L}\right), \Sigma)$ be soft $\omega$-S-R. Let $z\in D$ and $U\in \mathcal{L}$ such that $z\in U$. Pick $r\in \Sigma$. Then, we have $r_{z}\widetilde{\in } C_{U}\in C\left(\mathcal{L}\right)$. Since $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-S-R, we find $C_{V}\in S\omega O(D, C\left(\mathcal{L}\right), \Sigma)$ such that $r_{z}\widetilde{\in }C_{V} \widetilde{\subseteq }C_{U}$. Therefore, we have $z\in V\in S\omega O\left(D, \mathcal{L}\right) \ $and $V\subseteq U$. This shows that $\left(D, \mathcal{L}\right)$ is $\omega$-S-R.

Sufficiency. Let $\left(D, \mathcal{L}\right)$ be $\omega$-S-R. Let $r_{z}\in SP(H, \Sigma)$ and let $C_{U}\in C\left(\mathcal{L}\right)$ such that $r_{z}\widetilde{\in }C_{U}$. Then, we have $z\in U\in \mathcal{L}$. So, we find $V\in S\omega O\left(D, \mathcal{L}\right)$ such that $z\in V\subseteq U$. Thus, we have $R\omega O(D, C\left(\mathcal{L}\right), \Sigma)$ and $r_{z}\widetilde{\in }C_{V}\widetilde{\subseteq }C_{U}$. This shows that $(D, C\left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-S-R.

Theorem 3.11. Let $\left\{ \left(H, \mathcal{L}_{r}\right) :r\in \Sigma \right\}$ be a collection of TSs. Then $(H, \oplus _{r\in \Sigma } \mathcal{L}_{r}, \Sigma)$ is soft S-R iff $(H, \mathcal{L}_{r})$ is S-R for every $r\in \Sigma$.

Proof. Necessity. Let $(H, \oplus _{r\in \Sigma }\mathcal{L} _{r}, \Sigma)$ be soft S-R and let $r\in \Sigma$. Let $z\in H$ and let $U\in \mathcal{L}_{r}$ such that $z\in U$. Then, $r_{z}\widetilde{\in } r_{U}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$. So, we find $L\in SO(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma)$ such that $r_{z} \widetilde{\in }L\widetilde{\subseteq }r_{U}$ and thus, $z\in L\left(r\right) \subseteq \left(r_{U}\right) \left(r\right) = U$. In contrast, by Theorem 14 of ^[36] $L\left(r\right) \in SO(H, \mathcal{L}_{r})$. This shows that $(H, \mathcal{L}_{r})$ is S-R.

Sufficiency. Let $(H, \mathcal{L}_{r})$ be S-R for every $r\in \Sigma$. Let $r_{z}\in SP(H, \Sigma)$ and let $K\in \oplus _{r\in \Sigma } \mathcal{L}_{r}$ such that $r_{z}\widetilde{\in }K$. Then, we have $z\in K\left(r\right) \in \mathcal{L}_{r}$ and so we find $V\in SO(H, \mathcal{L} _{r})$ such that $z\in V\subseteq U$. Now, we have $r_{z}\widetilde{\in }r_{V} \widetilde{\subseteq }r_{U}\widetilde{\subseteq }K$, and by Theorem 14 of ^[36] $r_{V}\in SO(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma)$. This shows that $(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma)$ is soft S-R.

Corollary 3.12. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, \tau \left(\mathcal{L}\right), \Sigma)$ is soft S-R iff $\left(D, \mathcal{L}\right)$ is S-R.

Proof. For each $r\in \Sigma$, set $\mathcal{L}_{r} = \mathcal{L}$. Then, $\tau \left(\mathcal{L}\right) = \oplus _{r\in \Sigma }\mathcal{L}_{r}$ and by Theorem 3.11 we get the result.

Theorem 3.13. Let $\left\{ \left(H, \mathcal{L}_{r}\right) :r\in \Sigma \right\}$ be a collection of TSs. Then, $(H, \oplus _{r\in \Sigma } \mathcal{L}_{r}, \Sigma)$ is soft $\omega$-S-R iff $(H, \mathcal{L}_{r})$ is $\omega$-S-R for every $r\in \Sigma$.

Proof. Necessity. Let $(H, \oplus _{r\in \Sigma }\mathcal{L} _{r}, \Sigma)$ be soft $\omega$-S-R and let $r\in \Sigma$. Let $z\in H$ and let $U\in \mathcal{L}_{r}$ such that $z\in U$. Then, $r_{z}\widetilde{\in }r_{U}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$. So, we find $L\in S\omega O(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma)$ such that $r_{z} \widetilde{\in }L\widetilde{\subseteq }r_{U}$, and thus $z\in L\left(r\right) \subseteq \left(r_{U}\right) \left(r\right) = U$. In contrast, by Theorem 15 of ^[36] $L\left(r\right) \in S\omega O(H, \mathcal{L}_{r})$. This shows that $(H, \mathcal{L}_{r})$ is $\omega$-S-R.

Sufficiency. Let $(H, \mathcal{L}_{r})$ be $\omega$-S-R for every $r\in \Sigma$. Let $r_{z}\in SP(H, \Sigma)$ and let $K\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ such that $r_{z}\widetilde{\in }K$. Then, we have $z\in K\left(r\right) \in \mathcal{L}_{r}$ and so we find $V\in S\omega O(H, \mathcal{L}_{r})$ such that $z\in V\subseteq U$. Now, we have $r_{z} \widetilde{\in }r_{V}\widetilde{\subseteq }r_{U}\widetilde{\subseteq }K$, and by Theorem 15 of ^[36] $r_{V}\in S\omega O(H, \oplus _{r\in \Sigma }\mathcal{L }_{r}, \Sigma)$. This shows that $(H, \oplus _{r\in \Sigma }\mathcal{L} _{r}, \Sigma)$ is soft $\omega$-S-R.

Corollary 3.14. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $(D, \tau \left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-S-R iff $\left(D, \mathcal{L}\right)$ is $\omega$-S-R.

Proof. For each $r\in \Sigma$, set $\mathcal{L}_{r} = \mathcal{L}$. Then, $\tau \left(\mathcal{L}\right) = \oplus _{r\in \Sigma }\mathcal{L}_{r}$ and by Theorem 3.13 we get the result.

The following two examples show, respectively, that each of Theorem 3.4 and Corollary 3.3 does not have to be true in all cases:

Example 3.15. Consider $(H, \varphi, \Sigma)$ in Example 2.17. $RO(H, \varphi, \Sigma) = \left\{ 0_{\Sigma }, 1_{\Sigma }\right\}$ is not a soft base for $\varphi$ and thus $(H, \varphi, \Sigma)$ is not soft S-R. In contrast, by Theorem 3.6 $(H, \varphi, \Sigma)$ is soft $\omega$-S-R.

Example 3.16. Let $(D, \mathcal{L})$ be as in Example 3.9 of ^[39]. It is proved in ^[39] that $(D, \mathcal{L})$ is $\omega$-S-R but not $\omega$-regular. Therefore, by Corollaries 3.14 and 19 of ^[33], $(D, \tau \left(\mathcal{L}\right), \Sigma)$ is soft $\omega$-S-R but not soft $\omega$-regular.

The following main result introduces a decomposition of soft regularity in terms of soft $\omega$-semi-regularity and soft $\omega$-almost-regularity:

Theorem 3.17. An STS $(H, \varphi, \Sigma)$ is soft regular iff it is soft $\omega$-S-R and soft $\omega$-A-R.

Proof. Necessity. Let $(H, \varphi, \Sigma)$ be soft regular. Then, by Theorem 15 of ^[33] and Corollary 3.3 $(H, \varphi, \Sigma)$ is soft $\omega$-S-R. In contrast, by Theorem 2.11 $(H, \varphi, \Sigma)$ is soft $\omega$-A-R.

Sufficiency. Let $(H, \varphi, \Sigma)$ be soft $\omega$ -S-R and soft $\omega$-A-R. Let $H\in \varphi -\left\{ 0_{\Sigma }\right\}$ and let $r_{z}\widetilde{\in }H$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-S-R, then there is $G\in S\omega O(H, \varphi, \Sigma)$ such that $r_{z}\widetilde{\in }G\widetilde{\subseteq }H$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-A-R, then by Theorem 2.2 (2) there is $T\in \varphi$ such that $r_{z}\widetilde{\in }T\widetilde{\subseteq }Cl_{\varphi }\left(T\right) \widetilde{\subseteq }G\widetilde{\subseteq }H$. Hence, $(H, \varphi, \Sigma)$ is soft regular.

Definition 3.18. An STS $(H, \varphi, \Sigma)$ is called soft $\omega$-$T_{2\frac{1}{2}}$ if for every $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$, we find $K, G\in \varphi$ such that $r_{x}\widetilde{ \in }K$, $s_{y}\widetilde{\in }G$, and $Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) = 0_{\Sigma }$.

In Theorems 3.19, 3.21, and Corollary 3.12, we discuss the connections between soft $T_{2\frac{1}{2}}$ spaces and their analogs in traditional topological spaces. Also, in Theorems 3.20, 3.23, and Corollary 3.24, we discuss the connections between soft $\omega$-$T_{2\frac{1}{2}}$ spaces and their analogs in traditional topological spaces.

Theorem 3.19. If $(H, \varphi, \Sigma)$ is soft $T_{2\frac{1}{2}}$, then $\left(H, \varphi _{r}\right)$ is $T_{2\frac{1}{2}}$ for every $r\in \Sigma$.

Proof. Suppose that $(H, \varphi, \Sigma)$ is soft $T_{2\frac{1}{2} }$ and let $r\in \Sigma$. Let $x, y\in Z$ such that $x\neq y$. Then, $r_{x}, r_{y}\in SP\left(S, D\right)$ such that $r_{x}\neq r_{y}$. Since $(H, \varphi, \Sigma)$ is soft $T_{2\frac{1}{2}}$, we find $K, G\in \varphi$ such that $r_{x}\widetilde{\in }K$, $r_{y}\widetilde{\in }G$, and $Cl_{\varphi }\left(K\right) \widetilde{\cap }Cl_{\varphi }\left(G\right) = 0_{\Sigma }$. Thus, we have $x\in K\left(r\right) \in \varphi _{r}$, $y\in G\left(r\right) \in \varphi _{r}$, and by Proposition 7 of ^[12] $Cl_{\varphi _{r}}\left(K\left(r\right) \right) \cap Cl_{\varphi _{r}}\left(G\left(r\right) \right) \subseteq \left(Cl_{\varphi }\left(K\right) \right) \left(r\right) \cap \left(Cl_{\varphi }\left(G\right) \right) \left(r\right)$ $= \left(Cl_{\varphi }\left(K\right) \widetilde{\cap }Cl_{\varphi }\left(G\right) \right) \left(r\right) = \emptyset$. This shows that $\left(H, \varphi _{r}\right)$ is $T_{2\frac{1}{2}}$.

Theorem 3.20. If $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2 \frac{1}{2}}$, then $\left(H, \varphi _{r}\right)$ is $\omega$-$T_{2\frac{1 }{2}}$ for every $r\in \Sigma$.

Proof. Suppose that $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2 \frac{1}{2}}$ and let $r\in \Sigma$. Let $x, y\in Z$ such that $x\neq y$. Then, $r_{x}, r_{y}\in SP\left(S, D\right)$ such that $r_{x}\neq r_{y}$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2\frac{1}{2}}$, we find $K, G\in \varphi$ such that $r_{x}\widetilde{\in }K$, $r_{y}\widetilde{\in }G$, and $Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) = 0_{\Sigma }$. Thus, we have $x\in K\left(r\right) \in \varphi _{r}$, $y\in G\left(r\right) \in \varphi _{r}$, and by Proposition 7 of ^[12] $Cl_{\left(\varphi _{\omega }\right) _{r}}\left(K\left(r\right) \right) \cap Cl_{\left(\varphi _{\omega }\right) _{r}}\left(G\left(r\right) \right) \subseteq \left(Cl_{\varphi _{\omega }}\left(K\right) \right) \left(r\right)$ $\cap \left(Cl_{\varphi _{\omega }}\left(G\right) \right) \left(r\right)$ $= \left(Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) \right) \left(r\right) = \emptyset$. But by Theorem 7 of ^[35], $\left(\varphi _{\omega }\right) _{r} = \left(\varphi _{r}\right) _{\omega }$. This shows that $\left(H, \varphi _{r}\right)$ is $\omega$-$T_{2\frac{1}{2}}$.

Theorem 3.21. Let $\left\{ \left(H, \mathcal{L}_{R}\right) :r\in \Sigma \right\}$ be a collection of TSs. Then, $\left(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma \right)$ is soft $T_{2\frac{1}{2}}$ iff $\left(H, \mathcal{L}_{r}\right)$ is $T_{2\frac{1}{2}}$ for every $r\in \Sigma$.

Proof. Necessity. Suppose that $\left(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma \right)$ is soft $T_{2\frac{1}{2}}$ and let $r\in \Sigma$. Then, by Theorem 3.19 $\left(H, \left(\oplus _{r\in \Sigma } \mathcal{L}_{r}\right) _{r}\right)$ is $T_{2\frac{1}{2}}$. On the other hand, by Theorem 3.7 of ^[34] $\left(\oplus _{r\in \Sigma }\mathcal{L} _{r}\right) _{r} = \mathcal{L}_{r}$.

Sufficiency. Suppose that $\left(H, \mathcal{L}_{r}\right)$ is $T_{2\frac{1}{2}}$ for every $r\in \Sigma$. Let $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$.

Case 1. $r\neq s$. Then, $r_{x}\widetilde{\in }r_{Z}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$, $s_{y}\widetilde{\in }s_{Z}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$, and $Cl_{\oplus _{r\in \Sigma }\mathcal{L} _{r}}\left(r_{Z}\right) \widetilde{\cap }Cl_{\oplus _{r\in \Sigma }\mathcal{ L}_{r}}\left(s_{Z}\right) = 0_{\Sigma }$.

Case 2. $r = s$. Then, $x\neq y$. Since $\left(H, \mathcal{L} _{r}\right)$ is $T_{2\frac{1}{2}}$, we find $U, V\in \mathcal{L}_{r}$ such that $x\in U$, $y\in V$, and $Cl_{\mathcal{L}_{r}}\left(U\right) \cap Cl_{ \mathcal{L}_{r}}\left(V\right) = \emptyset$. Then, we have $r_{x}\widetilde{ \in }r_{U}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$, $s_{y}\widetilde{\in } s_{V}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ and $Cl_{\oplus _{r\in \Sigma }\mathcal{L}_{r}}\left(r_{U}\right) \cap Cl_{\oplus _{r\in \Sigma } \mathcal{L}_{r}}\left(s_{V}\right) = 0_{\Sigma }$.

Corollary 3.22. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $\left(D, \tau \left(\mathcal{L}\right), \Sigma \right)$ is soft $T_{2\frac{1}{2}}$ iff $\left(D, \mathcal{L}\right)$ is $T_{2\frac{1}{2}}$.

Proof. For each $r\in \Sigma$, put $\mathcal{L}_{r} = \mathcal{L}$. Then, $\tau \left(\mathcal{L}\right) = \oplus _{r\in \Sigma }\mathcal{L}_{r}$. We get the result as a consequence of Theorem 3.21.

Theorem 3.23. Let $\left\{ \left(H, \mathcal{L}_{r}\right) :r\in \Sigma \right\}$ be a collection of TSs. Then, $\left(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma \right)$ is soft $\omega$-$T_{2\frac{1}{2}}$ iff $\left(H, \mathcal{L}_{r}\right)$ is $\omega$-$T_{2\frac{1}{2}}$ for every $r\in \Sigma$.

Proof. Necessity. Suppose that $\left(H, \oplus _{r\in \Sigma }\mathcal{L}_{r}, \Sigma \right)$ is soft $\omega$-$T_{2\frac{1}{2}}$ and let $r\in \Sigma$. Then, by Theorem 3.20 $\left(H, \left(\oplus _{r\in \Sigma }\mathcal{L}_{r}\right) _{r}\right)$ is $\omega$-$T_{2\frac{1}{2}}$. In contrast, by Theorem 3.7 of ^[35], $\left(\oplus _{r\in \Sigma } \mathcal{L}_{r}\right) _{r} = \mathcal{L}_{r}$.

Sufficiency. Suppose that $\left(H, \mathcal{L}_{r}\right)$ is $\omega$-$T_{2\frac{1}{2}}$ for every $r\in \Sigma$. Let $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$.

Case 1. $r\neq s$. Then, $r_{x}\widetilde{\in }r_{Z}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$, $s_{y}\widetilde{\in }s_{Z}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$, and $Cl_{\left(\oplus _{r\in \Sigma } \mathcal{L}_{r}\right) _{\omega }}\left(r_{Z}\right) \widetilde{\cap } Cl_{\left(\oplus _{r\in \Sigma }\mathcal{L}_{r}\right) _{\omega }}\left(s_{Z}\right) = 0_{\Sigma }$.

Case 2. $r = s$. Then, $x\neq y$. Since $\left(D, \mathcal{L}\right)$ is $\omega$-$T_{2\frac{1}{2}}$, we find $A, B\in \mathcal{L}_{r}$ such that $x\in A$, $y\in B$, and $A\cap B = \emptyset$. Then, we have $r_{x}\widetilde{ \in }r_{A}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$, $s_{y}\widetilde{\in } s_{B}\in \oplus _{r\in \Sigma }\mathcal{L}_{r}$ and $Cl_{\left(\oplus _{r\in \Sigma }\mathcal{L}_{r}\right) _{\omega }}\left(r_{A}\right) \widetilde{\cap }Cl_{\left(\oplus _{r\in \Sigma }\mathcal{L}_{r}\right) _{\omega }}\left(s_{B}\right) = 0_{\Sigma }$.

Corollary 3.24. Let $\left(D, \mathcal{L}\right)$ be a TS. Then, for any set $\Sigma$, $\left(D, \tau \left(\mathcal{L}\right), \Sigma \right)$ is soft $\omega$-$T_{2\frac{1}{2}}$ iff $\left(D, \mathcal{L} \right)$ is $\omega$-$T_{2\frac{1}{2}}$.

Proof. For each $r\in \Sigma$, put $\mathcal{L}_{r} = \mathcal{L}$. Then, $\tau \left(\mathcal{L}\right) = \oplus _{r\in \Sigma }\mathcal{L}_{r}$. The result follows from Theorem 3.23.

Theorem 3.25. If $(H, \varphi, \Sigma)$ is soft $T_{2\frac{1}{2}}$ , then $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2 \frac{1}{2}}$.

Proof. Let $(H, \varphi, \Sigma)$ be soft $T_{2\frac{1}{2} }$ and let $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$. Then, we find $K, G\in \varphi$ such that $r_{x}\widetilde{\in }K$, $s_{y} \widetilde{\in }G$, and $Cl_{\varphi }\left(K\right) \widetilde{\cap } Cl_{\varphi }\left(G\right) = 0_{\Sigma }$. Since $Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) \widetilde{\subseteq }Cl_{\varphi }\left(K\right) \widetilde{\cap } Cl_{\varphi }\left(G\right) = 0_{\Sigma }$, then $Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) = 0_{\Sigma }$. This shows that $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2 \frac{1}{2}}$.

Theorem 3.26. If $(H, \varphi, \Sigma)$ is soft anti-L-C and soft $\omega$-$T_{2\frac{1}{2}}$, then $(H, \varphi, \Sigma)$ is soft $T_{2\frac{1}{2}}$.

Proof. Let $(H, \varphi, \Sigma)$ be soft anti-L-C and soft $\omega$-$T_{2\frac{1}{2}}$. Let $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2\frac{1}{2}}$, then we find $K, G\in \varphi$ such that $r_{x}\widetilde{\in }K$, $s_{y}\widetilde{\in }G$, and $Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) = 0_{\Sigma }$. Since $(H, \varphi, \Sigma)$ is anti-L-C, then by Theorem 14 of ^[35] $Cl_{\varphi }\left(K\right) \widetilde{\cap } Cl_{\varphi }\left(G\right) = Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) = 0_{\Sigma }$. Hence, $(H, \varphi, \Sigma)$ is soft $T_{2\frac{1}{2}}$.

Theorem 3.27. Every soft $\omega$-$T_{2\frac{1}{2}}$ STS is soft $T_{2}$.

Proof. Let $(H, \varphi, \Sigma)$ be $\omega$-$T_{2\frac{ 1}{2}}$ and let $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$. Then, we find $K, G\in \varphi$ such that $r_{x}\widetilde{\in }K$, $s_{y} \widetilde{\in }G$, and $Cl_{\varphi _{\omega }}\left(K\right) \widetilde{ \cap }Cl_{\varphi _{\omega }}\left(G\right) = 0_{\Sigma }$. Since $K \widetilde{\cap }G\widetilde{\subseteq }Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) = 0_{\Sigma }$, then $K\widetilde{\cap }G = 0_{\Sigma }$. Hence, $(H, \varphi, \Sigma)$ is soft $T_{2}$.

Theorem 3.28. If $(H, \varphi, \Sigma)$ is soft L-C and soft $T_{2}$, then $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2 \frac{1}{2}}$.

Proof. Let $(H, \varphi, \Sigma)$ be soft L-C and soft $T_{2}$. Let $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$. Since $(H, \varphi, \Sigma)$ is soft $T_{2}$, then we find $K, G\in \varphi$ such that $r_{x}\widetilde{\in }K$, $s_{y}\widetilde{\in }G$, and $K\widetilde{\cap }G = 0_{\Sigma }$. Since $(H, \varphi, \Sigma)$ is soft L-C, then by Corollary 5 of ^[35] $Cl_{\varphi _{\omega }}\left(K\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(G\right) = K\widetilde{\cap } G = 0_{\Sigma }$. Hence, $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2\frac{1}{2}}$.

The following example demonstrates that Theorem 3.25's converse does not have to be true in general:

Example 3.29. Let $(D, \mathcal{L})$ be the TS in Example 75 of ^[41]. Then $(D, \mathcal{L})$ is $T_{2}$ but not $T_{2\frac{1}{2}}$. Since $(D, \tau \left(\mathcal{L}\right), \mathbb{N})$ is soft L-C, by Corollary 5 of ^[35] it is soft $T_{2}$. Thus, by Theorem 3.28 $(D, \tau \left(\mathcal{L}\right), \mathbb{N})$ is soft $\omega$-$T_{2\frac{1}{2}}$. On the other hand, by Corollary 2.22 $(D, \tau \left(\mathcal{L}\right), \mathbb{N})$ is not soft $T_{2\frac{1}{2}}$.

The following example demonstrates why Theorem 3.27 does not have to be true in general:

Example 3.30. Let $(D, \mathcal{L})$ be the TS in Example 81 of ^[41]. It is known that $(D, \mathcal{L})$ is $T_{2}$ but not $T_{2\frac{1}{2} }$. Then, by Corollary 7 of ^[33] and Corollary 2.22 $(D, \tau \left(\mathcal{L}\right), \left[0, 1\right])$ is soft $T_{2}$ but not soft $T_{2 \frac{1}{2}}$. Since $(D, \tau \left(\mathcal{L}\right), \left[0, 1\right])$ is soft anti-L-C, then by Theorem 3.26 $(D, \tau \left(\mathcal{L} \right), \left[0, 1\right])$ is not $\omega$-$T_{2\frac{1}{2}}$.

Theorem 3.31. Every soft $\omega$-regular $T_{2}$ STS is soft $\omega$-$T_{2\frac{1}{2}}$.

Proof. Let $(H, \varphi, \Sigma)$ be soft $\omega$-regular and soft $T_{2}$. Let $r_{x}, s_{y}\in SP(H, \Sigma)$ such that $r_{x}\neq s_{y}$. Since $(H, \varphi, \Sigma)$ is soft $T_{2}$, then we find $K, G\in \varphi$ such that $r_{x}\widetilde{\in }K$, $s_{y}\widetilde{\in }G$, and $K \widetilde{\cap }G = 0_{\Sigma }$. Since $(H, \varphi, \Sigma)$ is soft $\omega$-regular, then we find $L, M\in \varphi$ such that $r_{x}\widetilde{ \in }L\widetilde{\subseteq }Cl_{\varphi _{\omega }}\left(L\right) \widetilde{\subseteq }K$ and $s_{y}\widetilde{\in }M\widetilde{\subseteq } Cl_{\varphi _{\omega }}\left(M\right) \widetilde{\subseteq }G$. Therefore, we have $r_{x}\widetilde{\in }L$, $s_{y}\widetilde{\in }M$, and $Cl_{\varphi _{\omega }}\left(L\right) \widetilde{\cap }Cl_{\varphi _{\omega }}\left(M\right) \widetilde{\subseteq }K\widetilde{\cap }G = 0_{\Sigma }$. This proves that $(H, \varphi, \Sigma)$ is soft $\omega$-$T_{2\frac{1}{2}}$.

Question 3.32. Is it true that every soft $\omega$-$T_{2\frac{1}{2} }$ STS is soft $\omega$-regular?

Theorem 3.33. If $(Z, \beta, \Sigma)$ and $\left(W, \rho, \Psi \right)$ are two soft $\omega$-S-R STSs such that the soft product $(Z\times W, \beta \times \rho, \Sigma \times \Psi)$ is soft $\omega$-S-R, then both of $(Z, \beta, \Sigma)$ and $\left(W, \rho, \Psi \right)$ are soft $\omega$-S-R.

Proof. Since $(Z\times W, \beta \times \rho, \Sigma \times \Psi)$ is soft $\omega$-S-R, then by Theorem 3.2 $\left(\beta \times \rho \right) _{\delta _{\omega }} = \beta \times \rho$. So, by Lemma 2.22, $\beta \times \rho \widetilde{\subseteq }$ $\beta _{\delta _{\omega }}\times \rho _{\delta _{\omega }}$. Hence, $\beta \ =$ $\beta _{\delta _{\omega }}\ $and $\rho = \rho _{\delta _{\omega }}$. Therefore, again by Theorem 3.2 $(Z, \beta, \Sigma)$ and $\left(W, \rho, \Psi \right)$ are soft $\omega$-S-R.

4.   Conclusions

Soft separation axioms are a collection of requirements for categorizing a system of STSs based on certain soft topological features. These axioms are often expressed in terms of classes of soft sets.

In this work, "soft $\omega$-almost-regular", "soft $\omega$ -semi-regular", and "soft $\omega$-$T_{2\frac{1}{2}}$" are defined as three new notions of soft separation axioms (Definitions 2.1, 3.1, 3.18). Several characterizations of soft $\omega$-almost-regularity (Theorems 2.2) and soft $\omega$-semi-regularity (Theorem 3.2) are given. It is proved that soft $\omega$-almost-regularity lies strictly between regularity and almost-regularity (Theorems 2.11, 2.12 and Examples 2.16, 2.17); soft $\omega$-semi-regularity is a weaker form of both soft semi-regularity and soft $\omega$-regularity (Corollary 3.3, Theorem 3.4 and Examples 3.15, 3.16); soft $\omega$-$T_{2\frac{1}{2}}$ lies strictly between soft $T_{2\frac{1}{2}}$ and soft $T_{2}$ (Theorems 3.25, 3.27 and Examples 3.29, 3.30). Several sufficient conditions for the equivalence between these new three notions and some of their relevant ones are given (Theorems 2.13, 2.14, 3.5, 3.6, 3.26, 3.28). A decomposition theorem of soft regularity by means of soft $\omega$-semi-regularity and soft $\omega$ -almost-regularity is given (Theorem 3.17). It is shown that soft $\omega$ -almost-regularity is heritable for specific kinds of soft subspaces (Theorems 2.19, 2.21). Soft product theorems regarding soft almost regular spaces (Theorem 2.23), soft $\omega$-almost regular spaces (Theorem 2.24), and soft $\omega$-semi-regular spaces (Theorem 3.33). Finally, the article delves into the connections between the newly proposed as well as some known soft axioms and their counterparts in traditional topological spaces, facilitating a bridging of concepts between the soft and classical realms (Theorems 2.3–2.7, 3.8–3.11, 3.13, 3.19–3.21, 3.23, and Corollaries 2.8, 2.10, 3.12, 3.14, 3.22, 3.24).

In the next work, we intend to: 1) Define and investigate soft $\omega$ -almost-normality; 2) investigate the behavior of these new soft separation ideas under various kinds of soft mappings; and 3) find an application for our new two conceptions in the "decision-making problem", "information systems", or "expert systems".

Use of AI tools declaration

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

Conflict of interest

The authors declare that they have no conflicts of interest.