An efficient method of detection of COVID-19 using Mask R-CNN on chest X-Ray images

1.   Introduction

The notion of a somewhere dense set was introduced in ^[1,2] as a new type of a wider class of open sets in general topology. More properties of this concept were investigated in ^[3,4,5]. In 2016, El-Shafei et al. ^[6] applied this notion to supra topologies ^[7] under the name of supra R-open sets. In 2008, Thangaraj ^[8] applied this concept to classical fuzzy topology.

In 1999, Molodtsov ^[9], introduced the notion of soft sets as a generalization of crisp sets and fuzzy sets. In 2011, Shabir and Naz ^[10] applied the conditions of classical topology to the category of soft sets, to define soft topology, which was investigated in ^[11]. Many kinds of weaker forms of soft open sets were introduced, such as oft regular and soft $T_2$ topological spaces ^[12], soft semi- (respectively, pre-, $\alpha$-, $\beta$-) open sets ^[13], soft b-open sets ^[14], weakly soft $\beta$-open sets ^[15], soft pre-open sets inspired by classical topologies ^[16], and weakly soft $b$-open ^[17] sets.

In 2018, Al-Shami ^[18] presented the notion of somewhere dense and cs-dense sets in soft topological spaces to generalize the previous weaker forms of soft open sets. He showed that the collection of soft somewhere dense sets fails to form a supra topology, because the null soft set does not satisfy the definition. After that, these notions were applied to different types of soft functions ^[19], soft open functions and soft Baire spaces ^[20], soft continuity and soft Baire spaces ^[21,22], and soft connectedness ^[23]. The soft ideal notion was first introduced in ^[24]. This notion is used to generalize many topological properties such as soft compactness ^[25], soft connectedness ^[26], soft continuity ^[27], soft models ^[28], soft semi local functions ^[29], soft generalized open sets ^[30,31,32], generalized soft rough sets ^[33], and soft separation axioms ^[34].

In 2014, El-Sheikh and Abd El-latif ^[35] applied the conditions of a supra topological space to soft set theory. The new class was named the supra soft topological space, which is wider than the soft topology by eliminating the condition of finite soft intersection. As expected, it has attracted many authors to introduce many valued topological properties to such spaces, such as supra soft locally closed sets ^[36], supra soft b-open sets ^[37], supra soft $\delta_i$-open sets ^[38], supra soft (strongly) generalized closed sets ^[39,40], supra soft separation axioms ^[41,42], supra soft regular open sets ^[43], and the Baire categories of soft sets ^[44].

In this paper, we continue studying more properties in supra soft topological spaces. Specifically, we define a new concept of supra soft open sets named supra soft sd-sets. We show that the new family of supra soft sd-sets contains almost all the previous weaker forms of supra soft open sets, which have been studied in previous papers ^[35,37,43]. Moreover, the concept of a supra soft sc-set is introduced. Furthermore, we define new types of soft operators related to the supra soft sd-sets and supra soft sc-sets and discuss many of their interesting properties. In addition, many examples and counterexamples are provided. Finally, some expected applications in our upcoming projects are explored.

2.   Preliminaries

Let $(K, \Lambda)$ be a soft set over $U$. Henceforth, the class of all soft sets will be denoted by $S(U)_\Lambda$. Also, a soft topological space and supra soft topological space will be denoted by STS and SSTS, respectively. Let $(U, \mu, \Lambda)$ be an SSTS, and the classes of supra soft pre- (respectively, b-, $\beta$-, $\alpha$-, semi-, regular-) open sets will denoted by $POS^s(U)$ (respectively, $BOS^s(U)_\Lambda$, $\beta OS^s(U)_\Lambda$, $\alpha OS^s(U)_\Lambda$, $SOS^s(U)_\Lambda$, $ROS^s(U)_\Lambda$).

Definition 2.1. ^[9] A pair $(K, \Lambda)$, denoted by $K_\Lambda$, over the set of parameters $\Lambda$ and the initial universe $U$, is called a soft set, which is defined by

Definition 2.2. ^[10] The collection $\tau \subseteq S(U)_\Lambda$ is called a soft topology on $U$ if

(1) $\tilde{U}, \tilde{\varphi} \in \tau$, where $\tilde{U}(\lambda) = U$ and $\tilde{\varphi}(\lambda) = \varphi$, for all $\lambda \in \Lambda$.

(2) The soft union of arbitrary elements of $\tau$ belongs to $\tau$.

(3) The soft intersection of finite elements of $\tau$ belongs to $\tau$.

The triplet $(U, \tau, \Lambda)$ is called an STS over $U$. Also, the elements of $\tau$ are called soft open sets, and their soft complements are called soft closed sets.

Definition 2.3. ^[10] Let $(U, \tau, \Lambda)$ be an STS and $(K, \Lambda)\in S(U)_\Lambda$. The soft closure of $(K, \Lambda)$, denoted by $cl(K, \Lambda)$, is the smallest soft closed superset of $(K, \Lambda)$.

Definition 2.4. ^[11] The soft interior of $(G, \Lambda)$ in an STS $(U, \tau, \Lambda)$, denoted by $int(G, \Lambda)$, is the largest soft open subset of $(G, \Lambda)$.

Definition 2.5. ^[10,45] The soft set $(G, \Lambda)\in S(U)_\Lambda$ is called a soft point in $\tilde{U}$, denoted by $u_\lambda$, if there are $u\in U$ and $\lambda \in \Lambda$ such that $G(\lambda) = \{u\}$ and $G(\lambda') = \varphi$ for each $\lambda'\in \Lambda-\{\lambda\}$. Also, $u_\lambda\tilde{\in} (F, \Lambda)$, if for the element $\lambda\in \Lambda$, $G(\lambda)\subseteq F(\lambda)$.

Definition 2.6 ^[35] The collection $\mu \subseteq S(U)_\Lambda$ is called a supra soft topology (or SSTS) on $U$ if

(1) $\tilde{U}, \tilde{\varphi} \in \mu$.

(2) The soft union of arbitrary elements of $\mu$ belongs to $\mu$.

The elements of $\mu$ are called supra soft open sets, and their soft complements are called supra soft closed sets.

Definition 2.7. ^[35] Let $(U, \tau, \Lambda)$ be an STS and $(U, \mu, \Lambda)$ be an SSTS. We say that $\mu$ is an SSTS associated with $\tau$ if $\tau\subset\mu$.

Definition 2.8. ^[35] Let $(U, \mu, \Lambda)$ be an SSTS and $(K, \Lambda)\in S(U)_\Lambda$. Then, the supra soft interior of $(G, \Lambda)$, denoted by $\; int^s(G, \Lambda)$, is the largest supra soft open subset of $(G, \Lambda)$. Also, the supra soft closure of $(K, \Lambda)$, denoted by $\; cl^s(K, \Lambda)$, is the smallest supra closed soft superset of $(K, \Lambda)$.

Definition 2.9. ^[35] A soft function $f_{pu}:(U_1, \tau_1, \Lambda_1)\; \rightarrow \; (U_2, \tau_2, \Lambda_2)$ with $\mu_1$ as an associated SSTS with $\tau_1$ is said to be supra soft continuous if $f_{pu}^{-1}(G, \Lambda_2)\in \mu_1\; \forall\; (G, \Lambda_2)\in \tau_2$.

3.   Supra soft sd-sets and relationships

In this section, a new class of supra soft open sets named the supra soft sd-set is introduced, and its properties are studied in detail. With the support of examples, we found that the new collection is wider than almost all the weaker forms of subsets of SSTS. Theses relationships are summarized in a diagram (Figure 1). Also, the complement of the supra soft sd-set is presented under the name of supra soft sc-set, and many of its important properties are presented, with the help of many examples.

Definition 3.1. Let $(U, \mu, \Lambda)$ be an SSTS and $(K, \Lambda)\in S(U)_\Lambda$. Then, $(K, \Lambda)$ is called a supra soft somewhere dense set (briefly, supra soft sd-set) if there is $\tilde{\varphi} \neq(O, \Lambda) \in \mu$ such that

The soft complement of a supra soft sd-set is said to be a supra soft sc-set. The family of all supra soft sd-sets (respectively, supra soft sc-sets) will denoted by $SD(U)_\Lambda$ (respectively, $SC(U)_\Lambda$).

Theorem 3.2. Let $(U, \mu, \Lambda)$ be an SSTS and $(G, \Lambda)\in S(U)_\Lambda$. Then, $(K, \Lambda) \in SD(U)_\Lambda$ if and only if $int^s (cl^s (K, \Lambda)) \neq \tilde{\varphi}$.

Proof. Necessity: Suppose that $(K, \Lambda) \in SD(U)_\Lambda$. So,

Hence,

Therefore,

Sufficient: Assume that $int^s (cl^s (K, \Lambda)) \neq \tilde{\varphi}$, and then $cl^s (K, \Lambda) \neq \tilde{\varphi}$. Now, for $u_\lambda \tilde{\in} int^s (cl^s (K, \Lambda))$ and $(N_{u_\lambda}, \Lambda)$ being any supra soft neighborhood for the soft point $u_\lambda$, we have

Hence,

and $int^s (cl^s (K, \Lambda))$ is a non-null supra soft open set containing $u_\lambda$. This means

Therefore, $(K, \Lambda) \in SD(U)_\Lambda$.

Corollary 3.3. Let $(U, \mu, \Lambda)$ be an SSTS and $(K, \Lambda)\in S(U)_\Lambda$. If $(K, \Lambda) \in SD(U)_\Lambda$. Then, there is $\tilde{\varphi} \neq(O, \Lambda) \in \mu$ such that $(O, \Lambda) \tilde{\subseteq} cl^s (K, \Lambda)$.

Proof. Suppose that $(K, \Lambda) \in SD(U)_\Lambda$. So,

Hence,

Lemma 3.4. A soft subset $(J, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$ is a supra soft sd-set if and only $cl^s(J, \Lambda)$ is a supra soft sd-set.

Proof. Direct from Corollary 3.3.

Corollary 3.5. Every soft superset of a supra soft sd-set is a supra soft sd-set.

Proof. Obvious from Theorem 3.2.

Remark 3.6. The following example will show that the converse of the above corollary is not true in general.

Example 3.7. Assume that $U = \{u_1, u_2, u_3, u_4\}$. Let $\Lambda = \{\lambda_1, \lambda_2\}$ be the set of parameters. Let $(A_i, \Lambda), i = 1, 2, ..., 7,$ be soft sets over $U$, where

$A_1(\lambda_1) = \{u_1, u_2\}, \, \, \, \, \, \, A_1(\lambda_2) = \{u_1\}$,

$A_2(\lambda_1) = \{u_1\}, \, \, \, \, \, \, A_2(\lambda_2) = \varphi$,

$A_3(\lambda_1) = \{u_1, u_2\}, \, \, \, \, \, \, A_3(\lambda_2) = \{u_3, u_4\}$,

$A_4(\lambda_1) = \{u_3, u_4\}, \, \, \, \, \, \, A_4(\lambda_2) = \{u_1, u_2\}$,

$A_5(\lambda_1) = \{u_1, u_3, u_4\}, \, \, \, \, \, \, A_5(\lambda_2) = \{u_1, u_2\}$,

$A_6(\lambda_1) = U, \, \, \, \, \, \, A_6(\lambda_2) = \{u_1, u_2\}$,

$A_7(\lambda_1) = \{u_1, u_2\}, \, \, \, \, \, \, A_7(\lambda_2) = \{u_1, u_3, u_4\}$.

Then, $\mu = \{\tilde{U}, \tilde{\varphi}, (A_i, \Lambda), i = 1, 2, ..., 7\}$ defines an SSTS on $U$. Hence, the soft set $(Y, \Lambda)$, where

$Y(\lambda_1) = \{u_2, u_3\}, \, \, \, \, \, \, Y(\lambda_2) = \{u_3, u_4\}$ is a supra soft sd-set, since

$int^s (cl^s (Y, \Lambda)) = \{(\lambda_1, \{u_3, u_4\}), (\lambda_2, \{u_1, u_2\})\}\neq \tilde{\varphi}$. At the same time, we have that $(W, \Lambda) \tilde{\subseteq} (Y, \Lambda)$, where

$W(\lambda_1) = \{u_2\}, \, \, \, \, \, \, W(\lambda_2) = \{u_3, u_4\}$,

is not a supra soft sd-set on $U$, since $int^s (cl^s (W, \Lambda)) = \tilde{\varphi}$.

Definition 3.8. A soft subset $(N, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$ is called a supra soft nowhere dense set if $int^s (cl^s (K, \Lambda)) = \tilde{\varphi}$.

Remark 3.9. Let $(U, \mu, \Lambda)$ be an SSTS and $(K, \Lambda)\in S(U)_\Lambda$. If $(K, \Lambda)$ is not a supra soft sd-set. Then, it is supra soft nowhere dense.

Theorem 3.10. Let $(U, \mu, \Lambda)$ be an SSTS and $(G, \Lambda)\in S(U)_\Lambda$. Then, $(K, \Lambda) \in SC(U)_\Lambda$ if, and only if, there is a proper supra soft closed subset $(H, \Lambda)$ of $\tilde{U}$ such that $int^s(K, \Lambda) \tilde{\subseteq} (H, \Lambda)$.

Proof. Necessity: Suppose that $(K, \Lambda) \in SC(U)_\Lambda$. Then,

From Corollary 3.3, there is $\tilde{\varphi} \neq(O, \Lambda) \in \mu$ such that $(O, \Lambda) \tilde{\subseteq} cl^s (K^{\tilde{c}}, \Lambda)$. So,

Hence,

Sufficient: Assume that there is a proper supra soft closed subset $(H, \Lambda)$ of $\tilde{U}$ such that $int^s(K, \Lambda) \tilde{\subseteq} (H, \Lambda)$. Then,

and $(H^{\tilde{c}}, \Lambda)$ is a proper supra soft open subset of $\tilde{U}$. Therefore, $(K^{\tilde{c}}, \Lambda) \in SD(U)_\Lambda$. It follows that, $(K, \Lambda) \in SC(U)_\Lambda$.

The proof of the next corollary is obvious from Theorem 3.10.

Corollary 3.11. Every soft subset of a supra soft sc-set is a supra soft sc-set, but not conversely, as shown in the next example.

Example 3.12. Consider the SSTS in Example 3.7. For the soft sets $(A, \Lambda)$, $(B, \Lambda)$, where

$A(\lambda_1) = \{u_1, u_4\}, \, \, \, \, \, \, A(\lambda_2) = \{u_1, u_2\}$,

$B(\lambda_1) = \{u_1, u_3, u_4\}, \, \, \, \, \, \, B(\lambda_2) = \{u_1, u_2\}$.

We have $(A, \Lambda) \tilde{\subseteq} (B, \Lambda)$, and $(A, \Lambda)$ is a supra soft sc-set, when $(B, \Lambda)$ is not a supra soft sc-set.

Lemma 3.13. If $(N, \Lambda) \in SD(U)_\Lambda$ and $(M, \Lambda) \in S(U)_\Lambda$ such that $(N, \Lambda) \tilde{\cap} (M, \Lambda) = \tilde{\varphi}$, then $(M, \Lambda) \in SC(U)_\Lambda$.

Proof. Suppose that $(N, \Lambda) \tilde{\cap} (M, \Lambda) = \tilde{\varphi}$ such that $(N, \Lambda) \in SD(U)_\Lambda$ and $(M, \Lambda) \in S(U)_\Lambda$. It follows that,

From Corollary 3.11, $(M, \Lambda) \in SC(U)_\Lambda$.

Proposition 3.14. A soft subset $(L, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$ is either a supra soft sd-set or a supra soft sc-set.

Proof. Suppose $(L, \Lambda) \tilde{\subseteq}\tilde{U}$ such that $(L, \Lambda) \not\in SD(U)_\Lambda$. So, the supra soft closure of $(L, \Lambda)$ has a null supra soft interior. It follows that,

and so

$[cl^s(L, \Lambda)]^{\tilde{c}}$ is non-null supra soft open. Therefore,

Remark 3.15. Every supra soft regular open set is a supra soft open set, proved in ^[43]. Also, in ^[37], the authors proved that every supra soft (respectively, $\alpha$, semi-, pre-, b-) open set is supra soft $\beta$-open. Now, we shall prove that, all of them are supra soft sd-sets.

Theorem 3.16. Every supra soft $\beta$-open set is a supra soft sd-set.

Proof. Assume that, $(R, \Lambda)$ is a supra soft $\beta$-open. Then,

Hence,

Therefore, $(R, \Lambda)$ is a supra soft sd-set.

Remark 3.17. The converse of Theorem 3.16 is not true in general, as confirmed in the next example.

Example 3.18. Consider the SSTS in Example 3.7. For the soft set $(S, \Lambda)$ where

$S(\lambda_1) = \{u_2, u_3, u_4\}, \, \, \, \, \, \, S(\lambda_2) = U$,

is a supra soft sd-set on $U$, since $int^s (cl^s (S, \Lambda)) = \{(\lambda_1, \{u_3, u_4\}), (\lambda_2, \{u_1, u_2\})\}\neq \tilde{\varphi}$. On the other side, $(S, \Lambda) \tilde{\nsubseteq}cl^s(int^s(cl^s(S, \Lambda))) = \{(\lambda_1, \{u_3, u_4\}), (\lambda_2, \{u_1, u_2\})\}$. Thus, $(S, \Lambda)$ is not supra soft $\beta$-open.

Corollary 3.19. Depending on the above arguments, we can get the following implications for an SSTS $(U, \mu, \Lambda)$, which are not reversible.

Lemma 3.20. If $(M, \Lambda)$ and $(N, \Lambda)$ are non-null disjoint supra soft open subsets of an SSTS $(U, \mu, \Lambda)$. Then, $(M, \Lambda)$ and $(N, \Lambda)$ are both supra soft sd-sets and supra soft sc-sets.

Proof. Suppose that $(N, \Lambda) \tilde{\cap} (M, \Lambda) = \tilde{\varphi}$ such that $(M, \Lambda), (N, \Lambda) \in \mu$. It follows that,

So,

Similarly, $(M, \Lambda) \in \mu$ follows $(M, \Lambda) \in SD(U)_\Lambda$, and so $(N^{\tilde{c}}, \Lambda) \in SD(U)_\Lambda$ from Corollary 3.5.

Definition 3.21. An SSTS $(U, \mu, \Lambda)$ is supra soft disconnected if there is a proper soft subset of $\tilde{U}$ which is supra soft open and supra soft closed.

Proposition 3.22. Every soft point of a supra soft disconnected space $(U, \mu, \Lambda)$ is a supra soft sc-set.

Proof. Immediate from Theorem 3.10 and Definition 3.21.

Proposition 3.23. Every supra soft neighborhood of any soft point $u_{\lambda}$ in $(U, \mu, \Lambda)$ is a supra soft sd-set.

Proof. Suppose $(S, \Lambda)$ is a supra soft neighborhood of a soft point $u_{\lambda}$. It follows that,

Hence,

Thus, $(S, \Lambda)\in SD(U)_\Lambda$.

Remark 3.24. The converse of the above-mentioned proposition is not true in general. Consider the SSTS in Example 3.7. For the soft set $(C, \Lambda)$, where

$C(\lambda_1) = \{u_2\}, \, \, \, \, \, \, C(\lambda_2) = \{u_1, u_3\}$,

is a supra soft sd-set, but it is not a supra soft neighborhood for any soft point in $\tilde{U}$.

Theorem 3.25. (1) An arbitrary soft union of supra soft sd-subsets of an SSTS $(U, \mu, \Lambda)$ is a supra soft sd-set.

(2) An arbitrary soft intersection of supra soft sc-subsets of an SSTS $(U, \mu, \Lambda)$ is a supra soft sc-set.

Proof.

$(1)$Let $\{(A_{\epsilon}, \Lambda), \epsilon\in \varepsilon\}\subseteq SD(U)_\Lambda$. Then,

Thus,

Hence,

$(2)$ Obvious from (1).

Remark 3.26. (1) A finite soft intersection of supra soft sd-subsets of an SSTS $(U, \mu, \Lambda)$ need not be a supra soft sd-set.

(2) A finite soft union of supra soft sc-subsets of an SSTS $(U, \mu, \Lambda)$ need not be a supra soft sc-set.

The next example shall confirm our claim.

Example 3.27. Consider the SSTS in Example 3.7. For the soft sets $(M, \Lambda), (N, \Lambda)$, where

$M(\lambda_1) = \{u_2, u_3\}, \, \, \, \, \, \, M(\lambda_2) = \{u_3, u_4\}$,

$N(\lambda_1) = \{u_2, u_4\}, \, \, \, \, \, \, N(\lambda_2) = \{u_1, u_2\}$,

we have that both $(M, \Lambda)$ and $(N, \Lambda)$ are supra soft sd-sets, but their soft intersection $(M, \Lambda)\tilde{\cap}(N, \Lambda) = \{(\lambda_1, \{u_2\}), (\lambda_2, \varphi)\}$ is not a supra soft sd-set.

Also, for the soft sets $(H, \Lambda), (K, \Lambda)$, where

$H(\lambda_1) = \{u_1, u_3\}, \, \, \, \, \, \, H(\lambda_2) = U$,

$K(\lambda_1) = \{u_4\}, \, \, \, \, \, \, K(\lambda_2) = \{u_3, u_4\}$,

we have that both $(H, \Lambda)$ and $(K, \Lambda)$ are supra soft sc-sets, but their soft union $(H, \Lambda)\tilde{\cup}(K, \Lambda) = \{(\lambda_1, \{u_1, u_3, u_4\}), (\lambda_2, U)\}$ is not a supra soft sc-set.

Corollary 3.28. From the above arguments, we can conclude that the collection of supra soft sd-sets fail to form an SSTS, because the null soft set does not satisfy the definition.

4.   New supra soft operators via supra soft sd-sets

This section is devoted to present new soft operators named the supra soft sd-closure operator, supra soft sd-cluster operator, and supra soft sd-interior operator. We characterize many of their interesting properties in detail, supported by examples. Furthermore, we prove that the property of being a supra soft sd-set is a supra soft topological property.

Definition 4.1. The supra soft sd-interior points of a soft subset $(G, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$, denoted by $int^s_{sd}(G, \Lambda)$, is the largest supra soft sd-subset of $(G, \Lambda)$.

Remark 4.2. The supra soft sd-interior points of a soft set is not always supra soft sd-set, as shown in the following example.

Example 4.3. Assume that $U = \{u_1, u_2, u_3\}$. Let $\Lambda = \{\lambda_1, \lambda_2\}$ be the set of parameters. Let $(K_i, \Lambda), i = 1, 2, 3, 4,$ be soft sets over $U$, where

$K_1(\lambda_1) = \{u_1, u_2\}, \, \, \, \, \, \, K_1(\lambda_2) = \{u_1, u_3\}$,

$K_2(\lambda_1) = \{u_1\}, \, \, \, \, \, \, K_2(\lambda_2) = \varphi$,

$K_3(\lambda_1) = \{u_2\}, \, \, \, \, \, \, K_3(\lambda_2) = \{u_1, u_3\}$,

$K_4(\lambda_1) = \{u_1\}, \, \, \, \, \, \, K_4(\lambda_2) = \{u_1\}$.

Then, $\mu = \{\tilde{U}, \tilde{\varphi}, (K_i, \Lambda), i = 1, 2, 3, 4\}$ defines an SSTS on $U$. So, for the soft set $(J, \Lambda)$, where

$J(\lambda_1) = \varphi, \, \, \, \, \, \, Y(\lambda_2) = \{u_2\}$,

we have $int^s_{sd}(J, \Lambda) = \tilde{\varphi} \not \in SD(U)_\Lambda$.

Lemma 4.4. For a soft subset $(K, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$, the following statements hold:

(1) There is $(J, \Lambda)\in$ $SD(U)_\Lambda$ such that $u_\lambda\tilde{\in} (J, \Lambda)\tilde{\subseteq} (K, \Lambda)$, whereas, $u_\lambda\tilde{\in} (K, \Lambda)$ $\Leftrightarrow$ $(K, \Lambda)\in$ $SD(U)_\Lambda$.

(2) $int^s_{sd}(K, \Lambda) = (K, \Lambda)\; \Leftrightarrow \;$ $(K, \Lambda)$ is a non-null supra soft sd-set.

(3) $int^s(K, \Lambda)\tilde{\subseteq} int^s_{sd}(K, \Lambda)$.

Proof.

$(1)$ Let $u_\lambda\tilde{\in} (K, \Lambda)$. If there is $(J, \Lambda)\in$ $SD(U)_\Lambda$ such that $u_\lambda \tilde{\in}(J, \Lambda)\tilde{\subseteq} (K, \Lambda)$. Then, $(K, \Lambda)\in SD(U)_\Lambda$ from Corollary 3.5. Conversely, if $(K, \Lambda)\in SD(U)_\Lambda$. Then, $(K, \Lambda)\neq \tilde{\varphi}$ from Definition 3.1. It follows that, there is a soft point $u_\lambda$ contained in $(K, \Lambda)$ in which $u_\lambda \tilde{\in} (K, \Lambda)\tilde{\subseteq} (K, \Lambda)$.

$(2)$ Direct from Definition 4.1.

$(3)$ Assume that $u_\lambda \tilde{\in} int^s(K, \Lambda)$, and then there is $(G, \Lambda)\in$ $\mu$ such that $u_\lambda \tilde{\in} (G, \Lambda)\tilde{\subseteq} (K, \Lambda)$. It follows that,

From (1), $(K, \Lambda)\in$ $SD(U)_\Lambda$. From (2), $int^s_{sd}(K, \Lambda) = (K, \Lambda)$. Thus, $u_\lambda \tilde{\in} int^s_{sd}(K, \Lambda)$.

Theorem 4.5. Let $(U, \mu, \Lambda)$ be an SSTS and $(Y, \Lambda), (Z, \Lambda)\in S(U)_\Lambda$. Then,

(1) $int^s_{sd}(\tilde{U}) = \tilde{U}$ and $int^s_{sd}(\tilde{\varphi}) = \tilde{\varphi}$.

(2) $int^s_{sd}(Y, \Lambda)\tilde{\subseteq} (Y, \Lambda)$.

(3) $int^s_{sd}(int^s_{sd}(Y, \Lambda)) = int^s_{sd}(Y, \Lambda)$.

(4) If $(Y, \Lambda)\tilde{\subseteq} (Z, \Lambda)$. Then, $int^s_{sd}(Y, \Lambda)\tilde{\subseteq} int^s_{sd}(Z, \Lambda)$.

(5) $int^s_{sd}[(Y, \Lambda)\tilde{\cap} (Z, \Lambda)]\tilde{\subseteq} int^s_{sd}(Y, \Lambda)\tilde{\cap} int^s_{sd}(Z, \Lambda)$.

(6) $int^s_{sd}(Y, \Lambda)\tilde{\cup} int^s_{sd}(Z, \Lambda)\tilde{\subseteq} int^s_{sd}[(Y, \Lambda)\tilde{\cup} (Z, \Lambda)]$.

Proof.

$(1)$ Immediate.

$(2)$ and (3) Follows from Definition 4.1.

$(4)$ Suppose that $u_\lambda \tilde{\in} int^s_{sd}(Y, \Lambda)$. Then,

Since $(Y, \Lambda)\tilde{\subseteq} (Z, \Lambda)$, $u_\lambda \tilde{\in} (E, \Lambda)\tilde{\subseteq} (Y, \Lambda)\tilde{\subseteq} (Z, \Lambda)$. Hence, $u_\lambda \tilde{\in} int^s_{sd}(Z, \Lambda)$.

$(5)$ and (6) Follows from (4).

Remark 4.6. The following examples will confirm that, the inclusions of parts (2), (4)–(6) in Theorem 4.5 are proper.

Examples 4.7. In Example 4.3,

(1) We have $(J, \Lambda) \tilde{\nsubseteq} int^s_{sd}(J, \Lambda) = \tilde{\varphi}$.

(2) For the soft set $(J, \Lambda)$, we have

(3) For the soft sets $(A, \Lambda)$ and $(B, \Lambda)$, where

$A(\lambda_1) = \{u_1, u_3\}, \, \, \, \, \, \, A(\lambda_2) = \{u_2\}$,

$B(\lambda_1) = \{u_3\}, \, \, \, \, \, \, B(\lambda_2) = \{u_1, u_2\}$, we have

(4) For the soft sets $(J, \Lambda)$ and $(K_2, \Lambda)$, we have

Definition 4.8. The supra soft sd-closure points of a soft subset $(H, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$, denoted by $cl^s_{sd}(H, \Lambda)$, is the smallest supra soft sc-superset of $(H, \Lambda)$.

Remark 4.9. The supra soft sd-closure points of a soft set is not always a supra soft sc-set. In Example 4.3, we have $cl^s_{sd}(K_1, \Lambda) = \tilde{U} \not \in SC(U)_\Lambda$.

Theorem 4.10. Let $(N, \Lambda)$ be a soft subset of an SSTS $(U, \mu, \Lambda)$. Then, $u_\lambda \tilde{\in} cl^s_{sd} (N, \Lambda)$ $\Leftrightarrow$ for each supra soft sd-set $(O, \Lambda)$ containing $u_\lambda$, $(N, \Lambda) \tilde{\cap} (O, \Lambda) \neq \tilde{\varphi}$.

Proof. Necessity: Suppose conversely that there is a supra soft sd-subset $(O, \Lambda)$ of $\tilde{U}$ containing $u_\lambda$ such that $(N, \Lambda) \tilde{\cap} (O, \Lambda) = \tilde{\varphi}$. Then,

Hence,

Therefore,

Sufficient: Assume conversely that $u_\lambda \tilde{\not\in }cl^s_{sd} (N, \Lambda)$, and so there is a supra soft sc-set $(V, \Lambda)$ such that $u_\lambda \tilde{\not\in} (V, \Lambda)$ and $(N, \Lambda) \tilde{\subseteq} (V, \Lambda)$. Hence,

where $(K^{\tilde{c}}, \Lambda)$ is a supra soft sd-set, which is a contradiction with the condition.

Corollary 4.11. If $(N, \Lambda) \in SD(U)_\Lambda$ and $(M, \Lambda) \in S(U)_\Lambda$ such that $(N, \Lambda) \tilde{\cap} (M, \Lambda) = \tilde{\varphi}$. Then, $(N, \Lambda) \tilde{\cap} cl^s_{sd}(M, \Lambda) = \tilde{\varphi}$.

Proof. Follows from Lemma 3.13 and Theorem 4.10.

Proposition 4.12. For a soft subset $(H, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$, the following statements hold:

(1) $cl^s_{sd}(H, \Lambda) = (H, \Lambda)\; \Leftrightarrow \;$ $(H, \Lambda)$ is a proper supra soft sc-set.

(2) $cl^s_{sd}(H, \Lambda)\tilde{\subseteq} cl^s(H, \Lambda)$.

Proof.

$(1)$ Follows from Definition 4.8.

$(2)$ Assume that $u_\lambda \tilde{\not \in}cl^s(H, \Lambda)$. Then, there is $(G, \Lambda)\in$ $\mu$ containing $u_\lambda$ such that $(H, \Lambda) \tilde{\cap} (G, \Lambda) = \tilde{\varphi}$. It follows that, $(G, \Lambda)\in SD(U)_\Lambda$ containing $u_\lambda$ such that $(H, \Lambda) \tilde{\cap} (G, \Lambda) = \tilde{\varphi}$. From Theorem 4.10, $u_\lambda \tilde{\not \in} cl^s_{sd}(H, \Lambda)$.

Theorem 4.13. For a soft subset $(T, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$, we have

Proof. Suppose that $u_\lambda \tilde{\not\in} [int^s_{sd}(T, \Lambda)]^{\tilde{c}}$. Then, $u_\lambda \tilde{\in} int^s_{sd}(T, \Lambda)$. It follows that,

Hence,

This means that

Now, assume that $u_\lambda \tilde{\not\in} cl^s_{sd}(T^{\tilde{c}}, \Lambda)$. From Theorem 4.10,

It follows that,

Therefore,

Therefore,

From Eqs (4.1) and (4.2), $cl^s_{sd}(T^{\tilde{c}}, \Lambda) = [int^s_{sd}(T, \Lambda)]^{\tilde{c}}$.

Corollary 4.14. For a soft subset $(T, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$, we have

Proof. Follows from Theorem 4.13.

Theorem 4.15. Let $(U, \mu, \Lambda)$ be an SSTS and $(C, \Lambda), (D, \Lambda)\in S(U)_\Lambda$. Then,

(1) $cl^s_{sd}(\tilde{\varphi}) = \tilde{\varphi}$ and $cl^s_{sd}(\tilde{U}) = \tilde{U}$.

(2) $(C, \Lambda)\tilde{\subseteq} cl^s_{sd} (C, \Lambda)$.

(3) $cl^s_{sd}(cl^s_{sd}(C, \Lambda)) = cl^s_{sd}(C, \Lambda)$.

(4) If $(C, \Lambda)\tilde{\subseteq} (D, \Lambda)$, then $cl^s_{sd}(C, \Lambda)\tilde{\subseteq} cl^s_{sd}(D, \Lambda)$.

(5) $cl^s_{sd}[(C, \Lambda)\tilde{\cap} (D, \Lambda)]\tilde{\subseteq} cl^s_{sd}(C, \Lambda)\tilde{\cap} cl^s_{sd}(D, \Lambda)$.

(6) $cl^s_{sd}(C, \Lambda)\tilde{\cup} cl^s_{sd}(D, \Lambda)\tilde{\subseteq} cl^s_{sd}[(C, \Lambda)\tilde{\cup} (D, \Lambda)]$.

Proof.

$(1)$ Immediate.

$(2)$ and (3) Follows from Definition 4.8.

$(4)$ Suppose that $u_\lambda \tilde{\in} cl^s_{sd}(C, \Lambda)$. Then, for each supra soft sd-set $(O, \Lambda)$ containing $u_\lambda$,

Since $(C, \Lambda)\tilde{\subseteq} (D, \Lambda)$, $(D, \Lambda) \tilde{\cap} (O, \Lambda) \neq \tilde{\varphi}$. Hence, $u_\lambda \tilde{\in} cl^s_{sd}(D, \Lambda)$.

$(5)$ and (6) Follows from (4).

Remark 4.16. The following examples will confirm that, the inclusions of parts (2), (4)–(6) in Theorem 4.15 are proper.

Examples 4.17. In Example 4.3,

(1) We have $cl^s_{sd}(K_1, \Lambda) = \tilde{U}\tilde{\nsubseteq} (K_1, \Lambda)$.

(2) For the soft sets $(M, \Lambda)$ and $(N, \Lambda)$, where

$M(\lambda_1) = \{u_1, u_2\}, \, \, \, \, \, \, M(\lambda_2) = U$,

$N(\lambda_1) = \{u_3\}, \, \, \, \, \, \, N(\lambda_2) = \{u_1, u_2\}$, we have

(3) For the soft sets $(R, \Lambda)$ and $(M, \Lambda)$, where

$R(\lambda_1) = \{u_1, u_3\}, \, \, \, \, \, \, R(\lambda_2) = \{u_2\}$,

$M(\lambda_1) = \{u_1, u_2\}, \, \, \, \, \, \, M(\lambda_2) = U$, we have

(4) $cl^s_{sd}[(K_3, \Lambda)\tilde{\cup} (K_2, \Lambda)] = cl^s_{sd}(K_1, \Lambda) = \tilde{U} \tilde{\nsubseteq} cl^s_{sd}(K_3, \Lambda)\tilde{\cup} cl^s_{sd}(K_2, \Lambda) = (K_1, \Lambda)$.

Definition 4.18. A soft point $s_\lambda$ is said to be a supra soft sd-cluster point of a soft subset $(C, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$ if for each supra soft sd-set $(G, \Lambda)$ containing $s_\lambda$,

The set of all supra soft sd-cluster points of $(C, \Lambda)$, denoted by $d^s_{sd}(C, \Lambda)$, is called a supra soft sd-derived set.

Proposition 4.19. For a soft subset $(C, \Lambda)$ of an SSTS $(U, \mu, \Lambda)$, $d^s_{sd}(C, \Lambda)\tilde{\subseteq} d^s(C, \Lambda)$.

Proof. Suppose that $s_\lambda \tilde{\not \in} d^s(C, \Lambda)$. Then, there is $(G, \Lambda)\in$ $\mu$ containing $s_\lambda$ such that $[(C, \Lambda) \backslash s_\lambda] \tilde{\cap} (G, \Lambda) = \tilde{\varphi}$. It follows that, $(G, \Lambda)\in SD(U)_\Lambda$ containing $s_\lambda$ such that $[(C, \Lambda) \backslash s_\lambda] \tilde{\cap} (G, \Lambda) = \tilde{\varphi}$. Hence, $s_\lambda \tilde{\not \in} d_{sd}(C, \Lambda)$.

Theorem 4.20. Let $(U, \mu, \Lambda)$ be an SSTS and $(C, \Lambda), (D, \Lambda)\in S(U)_\Lambda$. Then,

(1) $d^s_{sd}(C, \Lambda)\tilde{\subseteq} (C, \Lambda) \Leftrightarrow (C, \Lambda)$ is a proper supra soft sc-set.

(2) If $(C, \Lambda)\tilde{\subseteq} (D, \Lambda)$. Then, $d^s_{sd}(C, \Lambda)\tilde{\subseteq} d^s_{sd}(D, \Lambda)$.

(3) $d^s_{sd}[(C, \Lambda)\tilde{\cap} (D, \Lambda)]\tilde{\subseteq} d^s_{sd}(C, \Lambda)\tilde{\cap} d^s_{sd}(D, \Lambda)$.

(4) $d^s_{sd}(C, \Lambda)\tilde{\cup} d^s_{sd}(D, \Lambda)\tilde{\subseteq} d^s_{sd}[(C, \Lambda)\tilde{\cup} (D, \Lambda)]$.

Proof.

(1) $(\Rightarrow)$ Assume that $(C, \Lambda)$ is a proper soft set such that $s_\lambda \tilde{\not \in} (C, \Lambda)$. Since $d^s_{sd}(C, \Lambda)\tilde{\subseteq} (C, \Lambda)$, $s_\lambda \tilde{\not \in} d^s_{sd}(C, \Lambda)$. Hence, there is $(G, \Lambda)\in SD(U)_\Lambda$ containing $s_\lambda$ such that $[(G, \Lambda) \backslash s_\lambda] \tilde{\cap} (C, \Lambda) = \tilde{\varphi}$. Since $s_\lambda \tilde{\not \in} (C, \Lambda)$, $(G, \Lambda) \tilde{\cap} (C, \Lambda) = \tilde{\varphi}$. Therefore, $(G, \Lambda) \tilde{\subseteq} (C^{\tilde{c}}, \Lambda)$. It follows that, $(C^{\tilde{c}}, \Lambda)$ is the soft union of supra soft sd-sets. Thus, $(C, \Lambda)$ is a proper supra soft sc-set.

$(\Leftarrow)$ Let $(C, \Lambda)$ be a proper supra soft sc-set such that $s_\lambda \tilde{\not \in} (C, \Lambda)$. It follows that, $s_\lambda \tilde{\in} (C^{\tilde{c}}, \Lambda)$, $(C^{\tilde{c}}, \Lambda) \in SD(U)_\Lambda$. Now, $(C, \Lambda) \tilde{\cap}[(C^{\tilde{c}}, \Lambda)\backslash s_\lambda] = \tilde{\varphi}$, $(C^{\tilde{c}}, \Lambda) \in SD(U)_\Lambda$. Hence, $s_\lambda \tilde{ \not \in} d^s_{sd}(C, \Lambda)$. Therefore, $d^s_{sd}(C, \Lambda)\tilde{\subseteq} (C, \Lambda)$.

(2)–(4) Obvious from Definition 4.18.

Remark 4.21. The reverse inclusions of parts (2)–(4) in Theorem 4.20 are not satisfied in general, as declared in the next examples.

Examples 4.22. In Example 4.3,

(1) For the soft sets $(Y, \Lambda)$ and $(Z, \Lambda)$, where

$Y(\lambda_1) = \{u_1, u_3\}, \, \, \, \, \, \, Y(\lambda_2) = \{u_2\}$,

$Z(\lambda_1) = \{u_1, u_2\}, \, \, \, \, \, \, Z(\lambda_2) = U$, we have

$d^s_{sd}(Y, \Lambda) = \{(\lambda_1, \{u_3\}), (\lambda_2, \{u_2\})\} \tilde{\subseteq}d^s_{sd}(Z, \Lambda) = \{(\lambda_1, \{u_2, u_3\}), (\lambda_2, U)\}$, whereas $(Y, \Lambda) \tilde{\nsubseteq} (Z, \Lambda)$.

(2) For the soft sets $(V, \Lambda)$, $(K_3, \Lambda)$, where

$V(\lambda_1) = \varphi, \, \, \, \, \, \, V(\lambda_2) = \{u_2\}$, we have

$d^s_{sd}(V, \Lambda)\tilde{\cap} d^s_{sd}(K_3, \Lambda) = \{(\lambda_1, \{u_3\}), (\lambda_2, \{u_2\})\}\tilde{\nsubseteq} d^s_{sd}[(V, \Lambda)\tilde{\cap} (K_3, \Lambda)] = \tilde{\varphi}$.

(3) For the soft sets $(Y, \Lambda)$, $(K_1, \Lambda)$, where

$Y(\lambda_1) = \{u_1, u_3\}, \, \, \, \, \, \, Y(\lambda_2) = \{u_2\}$, we have

$d^s_{sd}[(Y, \Lambda)\tilde{\cup} (K_1, \Lambda)] = \tilde{U} \tilde{\nsubseteq} d^s_{sd}(Y, \Lambda)\tilde{\cup} d^s_{sd}(K_1, \Lambda) = \{(\lambda_1, \{u_1, u_3\}), (\lambda_2, U)\}$.

Definition 4.23. A soft function $f_{pu}:(U_1, \tau_1, \Lambda_1)\; \rightarrow \; (U_2, \tau_2, \Lambda_2)$ with $\mu_1$ and $\mu_1$ associated SSTSs with $\tau_1$ and $\tau_2$, respectively, is said to be supra soft open if

Also, $f_{pu}$ is said to be a supra soft bicontinuous function if it is both supra soft continuous and a supra soft open function.

Theorem 4.24. The image of every supra soft sd-set under a supra soft bicontinuous function is a supra soft sd-set.

Proof. Assume that $(E, \Lambda_1)$ is a supra soft sd-subset of $\tilde{U_1}$ and $f_{pu}:(U_1, \tau_1, \Lambda_1)\; \rightarrow \; (U_2, \tau_2, \Lambda_2)$ is a supra soft bicontinuous function. Then,

It follows that,

Since $f_{pu}$ is a supra soft open function, $f_{pu}(G, \Lambda_1) \in \mu_2$. Thus,

Corollary 4.25. The property of being a supra soft sd-set is a supra soft topological property.

Proof. Obvious from Theorem 4.24.

5.   Conclusions

Our paper is devoted to generalizing many types of supra soft open sets, like supra soft semi- (respectively, regular-, $\beta$-, $\alpha$-, pre-, b-) open sets. We showed that, the new category of supra soft sd-sets contains almost all the previous weaker forms of supra soft open subsets of an SSTS. We discussed many of their interesting properties in detail, supported by many examples. These examples showed that our introduced results are true and proper. Finally, the concepts of the supra soft sd-interior operator, supra soft sd-cluster operator, and supra soft sd-closure operator were presented.

Mashhour et al. ^[7], in 1983, introduced the notion of supra topology to generalize the general topology notion. Alpers ^[46], in 2002, showed that these new spaces were easier in application. The application of these spaces in real-life problems was introduced in 2016 by Kozae et al. ^[47]. New rough set operators and models via these spaces were provided in 2022 by Al-shami and Alshammari ^[48]. The notion of supra soft topological space was defined in 2014 by El-Sheikh and Abd El-latif ^[35]. Therefore, our coming project will be as follows:

● Investigating more properties of the mentioned operators and introducing more types of new soft operators and soft continuity via supra soft sd-sets to generalize such notions in ^[49,50].

● The soft compactness and soft connectedness via these new notions will be presented.

● Using our new above-mentioned classes to develop the accuracy measures of subsets in information systems to generalize such notions in ^[51].

● Presenting applications for these approaches in real-life problems to investigate what is in ^[47].

● Introducing new soft rough set operators and models via the above-mentioned notions.

Use of AI tools declaration

The author declares he has not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

The author is extremely grateful to the anonymous referees for their valuable suggestions which helped to improve the presentation of the paper.

The authors extend their appreciation to the Deanship of Scientific Research at Northern Border University, Arar, KSA for funding this research work through the project number "NBU-FPEJ-2024-2727-01".

Conflict of interest

The author declares no conflicts of interest.