Amply soft set and its topologies: AS and PAS topologies

1.   Introduction

Greene ^[1] mentioned in his book "The Elegance of the Universe" that the 11^th dimension appears when the Heterotic-E matching constant is greater than 1 but not less than 1. In this case, it may be thought that the 11^th dimension is a different topology. I think this may be a discrete topology. So, is a topology possible in which different topologies of different dimensions can exist? In this context, for a topological space in which different topologies can be written in different parameters, it should be looked at whether a set is created in which different sets can be written in different parameters. So, let us first analyze Molodtsov's soft set ^[2] which makes it possible to write different sets with different parameters.

Molodtsov ^[2] defined a soft set and gave some properties about it. For this, he thought that there are many uncertainties to solve complicated problems such as in sociology, economics, engineering, medical science, environment problems, statistics, etc. There is no deal to solve them successfully. However, there are some theories such as vague sets theory ^[3], fuzzy sets ^[4], probability, intuitionistic fuzzy sets ^[5], rough sets ^[6], interval mathematics ^[7], etc., but these studies have their own complexities. Also, you can see the latest study examples based on them ^{[8,9,10,11,12,13]}.

Maji et al. ^[14] defined soft subset, soft superset, soft equality and they gave some operators such as intersection, union of two soft sets and complement of a soft set. They presented some properties about them. But some properties of them are false. So, Yang ^[15] gave counterexample about some of them. Also, Ali et al. ^[16] gave counter example about the others. Then they redefined operations of soft sets. Then the other researchers pointed out these false about soft operators and they gave some new definitions about soft operators of soft sets ^{[17,18,19,20,21,22,23,24,25]}. These are so valuable studies.

Up to now, there are many studies on the soft sets and their operations, also, taking universal set of parameters $E$ is finite and countable because of the definition of the soft set. There are many soft sets and their operators defined. As first, in the soft set defined by Molodtsov ^[2] and developed by Maji et al. ^[14] the union of any soft set and its complement need not be a universal set. So, this situation makes a lot of deficiencies like a problem about complement of any soft set. To overcome this problem, researchers see two different ways. One way is using fixed parameter set in soft sets like Shabir and Naz's work ^[26]. They defined a lot of concept about a soft set and its topology. They used same parameter sets in their soft sets. This situation limits the soft topology. As a result of the fixed parameter, a soft point could be defined with fixed parameter. As a result of this, all soft sets have same values in all their parameters ^{[27,28,29,30]}. Some researchers tried to overcome this situation by defining another soft point ^{[17,24,27,31]}. You can see the latest study examples based on Shabir and Naz's work ^{[32,33,34,35,36,37,38]}.

The other way is to redefine soft set and its operations. As first, Çağman and Enginoğlu ^[19] redefined soft set and its operations. This study is so valuable. But anyone could not take uncountable or infinite universal parameter set in practice. Because it is not pointed out what will we do with parameter sets between two soft sets exactly while using soft operators. You can see the latest study examples based on Çağman and Enginoglu's work ^{[32,36,37,38,39,40]}. Çağman et al. ^[41] defined a soft topology. They use different parameter sets in their soft sets. But all of them are finite because of the definition of soft operations. Then, Zhu and Wen ^[25] redefined a soft set and gave operations of it. Also, they pointed out what will we do with parameters set between two soft sets while using soft operators. But it is so complicated and as a result, cause same problems. You can see the latest study examples based on Zhu and Wen's work ^[42,43,44].

A similar situation drew attention of Fatimah et al. in ^[45]. They said that in their study all soft and hybrid soft sets used so far binary operation (either 0 or 1) or else real numbers between 0 and 1. So they defined a new soft set and it is called an N-Soft set. They used n parameter in their study, $n\in \mathbb{N},$ is natural numbers. Riaz et al. defined an N-Soft topology in ^[42]. Therefore, we can say that they use set of parameters $E$ as infinite and countable. They use initial universe $X$ as finite and countable. But in fact, in real life or in space they do not have to be finite and countable.

In order to overcome all the problems mentioned about above and to define a more comprehensive and a more generalized soft set, I defined an amply soft set. I named this soft set as an amply soft set, together with its operations, in order to eliminate the complexity by selecting the ones that are suitable for a certain purpose among the previously defined soft sets and the operations between them and redefining otherwise. Amply soft sets use any kind of universal parameter set and initial universe (such as finite or infinite, countable or uncountable). Also, I introduced subset, superset, equality, empty set, and whole set about amply soft sets. And I gave operations such as union, intersection, difference of two amply soft sets and complement of an amply soft set. Then three different amply soft point such as amply soft whole point, amply soft point and monad point are defined. Also examples related taking universal set as uncountable are given.

I defined a new soft topology, and it is called as a PAS topology. The PAS topology allows to write different elements of classical topologies in its each parameter sets. The classical topologies may be finite, infinite, countable or uncountable. This situation removes all of the boundaries in a soft topology and cause it to spread over larger areas. A PAS topology is a special case of an AS topology. For this purpose, I defined a new soft topology, and it is called as an amply soft topology or briefly an AS topology. I introduce AS open sets, AS closed sets, interior and closure of an AS set and subspace of any AS topological space. I gave parametric separation axioms which are different from T_i separation axioms. T_i questions the relationship between the elements of space itself while P_i questions the strength of the connection between their parameters.

2.   Materials and methods

These terminologies are used hereafter in the paper: X denotes an initial universe, E denotes a universal set of parameters; $A, B, C$ are subsets of $E$.

Definition 1 Let $\boldsymbol{P}\left(\boldsymbol{X}\right)$ denote the power set of $\boldsymbol{X}$. If $\boldsymbol{F}:\boldsymbol{E}\to \boldsymbol{P}\left(\boldsymbol{X}\right)$ is a mapping given by

then $\boldsymbol{F}$ with $\boldsymbol{A}$ is called as an amply soft set over $\boldsymbol{X}$ and it is denoted by $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$. We can say an AS set instead of an amply soft set for briefness.

Example 1 Let $\boldsymbol{X} = \{\boldsymbol{x}_{{1}}, \boldsymbol{x}_{{2}}, \boldsymbol{x}_{{3}}, \boldsymbol{x}_{{4}}\}$ be a universal set, $\boldsymbol{E} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}, \boldsymbol{e}_{{4}}, \boldsymbol{e}_{{5}}\}$ a set of parameters and $\boldsymbol{A} = \{{\boldsymbol{e}}_{1}, \boldsymbol{e}_{{2}}, \boldsymbol{e}_{{4}}, \boldsymbol{e}_{{5}}\}$ a subset of $\boldsymbol{E}.$ Let $\boldsymbol{F}:\boldsymbol{A}\to \boldsymbol{P}\left(\boldsymbol{X}\right)$ be the mapping given by $\boldsymbol{F}(\boldsymbol{e}_{{1}}) = \{\boldsymbol{x}_{{1}}, \boldsymbol{x}_{{2}}\}, \boldsymbol{ }\boldsymbol{F}(\boldsymbol{e}_{{2}}) = \{\boldsymbol{x}_{{2}}, \boldsymbol{x}_{{4}}\}, \boldsymbol{ }\boldsymbol{F}(\boldsymbol{e}_{{4}}) = \{\boldsymbol{x}_{{3}}\}, \boldsymbol{ }\boldsymbol{F}(\boldsymbol{e}_{{5}}) = \{\boldsymbol{x}_{{3}}\}.$ Then we can show it looks like the following:

Definition 2 Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ be two amply soft sets over $\boldsymbol{X}.\boldsymbol{ }\boldsymbol{ }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ is subset of $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B},$ denoted by $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\subseteq}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B},$ if $\boldsymbol{F}\left(\boldsymbol{e}\right)\subseteq \boldsymbol{G}\left(\boldsymbol{e}\right),$ for all $\boldsymbol{e}\in \boldsymbol{A}$.

Definition 3 Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ be two amply soft sets over $\boldsymbol{X}.\boldsymbol{ }\boldsymbol{ }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ is superset of $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B},$ denoted by

Definition 4 Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ be two amply soft sets over $\boldsymbol{X}$. If $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ is subset of $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ is subset of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ also, then $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ are said to be an equal and denoted by $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$.

Definition 5 An amply soft set $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ over $\boldsymbol{X}$ is said to be an empty amply soft set denoted by $\widetilde{\emptyset}$ if $\boldsymbol{F}\left(\boldsymbol{e}\right) = {\emptyset }$ for all $\boldsymbol{e}\in \boldsymbol{E}$.

Definition 6 An amply soft set $\boldsymbol{F}\boldsymbol{*}\boldsymbol{E}$ over $\boldsymbol{X}$ is said to be an absolute amply soft set denoted by $\mathit{\boldsymbol{\tilde X}}$ if for all $\boldsymbol{e}\in \boldsymbol{E}, \boldsymbol{ }\boldsymbol{ }\boldsymbol{F}\left(\boldsymbol{e}\right) = \boldsymbol{X}$.

Definition 7 The union of two amply soft sets of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ over a common universe $\boldsymbol{X}$ is the amply soft set $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$, where $\boldsymbol{C} = \boldsymbol{A}\cup \boldsymbol{B}$ and for all $\boldsymbol{e}\in \boldsymbol{E},$

We can write $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{F}\cup \boldsymbol{G}\boldsymbol{*}\boldsymbol{A}\cup \boldsymbol{B} \cong \boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$.

Definition 8 The intersection $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ of two amply soft sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ over a common universe $\boldsymbol{X}$ denoted by $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ is defined as $\boldsymbol{C} = \boldsymbol{A}\cap \boldsymbol{B}$ and for all $\boldsymbol{e}\in \boldsymbol{E}$,

We can write $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{F}\cap \boldsymbol{G}\boldsymbol{*}\boldsymbol{A}\cap \boldsymbol{B} \cong \boldsymbol{H}\boldsymbol{*}\boldsymbol{C}.$

Definition 9 The difference $\boldsymbol{H}\boldsymbol{*}\boldsymbol{A}$ of two amply soft sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ over $\boldsymbol{X}$ is denoted by $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\backslash }\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and it is defined as

We can write $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\backslash }\boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{F}\backslash \boldsymbol{G}\boldsymbol{*}\boldsymbol{A} \cong \boldsymbol{H}\boldsymbol{*}\boldsymbol{A}.$

Definition 10 Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ be an amply soft set over $\mathit{\boldsymbol{\tilde X}}$. The complement of an amply soft set $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ over $\boldsymbol{X}$ is denoted by $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{' } \cong \boldsymbol{F}\boldsymbol{\text{'}}\boldsymbol{*}\boldsymbol{E}$ where $\boldsymbol{F}\boldsymbol{\text{'}}:\boldsymbol{E}\to \boldsymbol{P}\left(\boldsymbol{X}\right)$ a mapping is defined as $\boldsymbol{F}\boldsymbol{\text{'}}\left(\boldsymbol{e}\right) = \boldsymbol{X}-\boldsymbol{F}\left(\boldsymbol{e}\right)$ for all $\boldsymbol{e}\in \boldsymbol{E}.$

Note that, $\boldsymbol{F}\boldsymbol{\text{'}}:\boldsymbol{E}\to \boldsymbol{P}\left(\boldsymbol{X}\right)$ is a mapping given by

Example 2 Let $\boldsymbol{X} = \{\boldsymbol{h}_{{1}}, \boldsymbol{h}_{{2}}, \boldsymbol{h}_{{3}}, \boldsymbol{h}_{{4}}, \boldsymbol{h}_{{5}}\}, \boldsymbol{ }\boldsymbol{E} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}, \boldsymbol{e}_{{4}}, \boldsymbol{e}_{{5}}\}$ and its subsets $\boldsymbol{A} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}\}, \boldsymbol{ }\boldsymbol{ }\boldsymbol{B} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{3}}, \boldsymbol{e}_{{4}}\}, \boldsymbol{ }\boldsymbol{ }\boldsymbol{C} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{4}}\}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}, \boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ are amply soft sets over $\boldsymbol{X}$ defined as follows respectively,

Then,

1. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{F}\cup \boldsymbol{G}\boldsymbol{*}\boldsymbol{A}\cup \boldsymbol{B}$

2. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{F}\cap \boldsymbol{G}\boldsymbol{*}\boldsymbol{A}\cap \boldsymbol{B} \cong \left\{{\left\{{\boldsymbol{h}}_{1}\right\}}_{\left\{{\boldsymbol{e}}_{1}\right\}}, {\left\{{\boldsymbol{h}}_{1}, {\boldsymbol{h}}_{2}\right\}}_{\left\{{\boldsymbol{e}}_{3}\right\}}\right\}.$

3. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\backslash }{\bf{G}}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{F}\backslash {\bf{G}}\boldsymbol{*}\boldsymbol{A} \cong \{{\{\boldsymbol{h}_{{2}}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{h}_{{2}}, \boldsymbol{h}_{{3}}, \boldsymbol{h}_{{4}}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{h}_{{5}}\}}_{\{\boldsymbol{e}_{{3}}\}}\}.$

4. $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\widetilde{\backslash }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \boldsymbol{G}\backslash \boldsymbol{F}\boldsymbol{*}\boldsymbol{B} \cong \{{\{\boldsymbol{h}_{{4}}\}}_{\{{\boldsymbol{e}}_{1}, {\boldsymbol{e}}_{3}\}}, {\{\boldsymbol{h}_{{3}}, \boldsymbol{h}_{{5}}\}}_{\{\boldsymbol{e}_{{4}}\}}\}.$

5. $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{' } \cong \boldsymbol{F}\boldsymbol{\text{'}}\boldsymbol{*}\boldsymbol{E} \cong \{{\{\boldsymbol{h}_{{3}}, \boldsymbol{h}_{{4}}, \boldsymbol{h}_{{5}}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{h}_{{1}}, \boldsymbol{h}_{{5}}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{h}_{{3}}, \boldsymbol{h}_{{4}}\}}_{\{\boldsymbol{e}_{{3}}\}}, {\boldsymbol{X}}_{\{\boldsymbol{e}_{{4}}, \boldsymbol{e}_{{5}}\}}\}.$

6. 6. $\left(\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{' } \cong \boldsymbol{G}\boldsymbol{\text{'}}\boldsymbol{*}\boldsymbol{E} \cong \{{\{\boldsymbol{h}_{{2}}, \boldsymbol{h}_{{3}}, \boldsymbol{h}_{{5}}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{h}_{{3}}, \boldsymbol{h}_{{5}}\}}_{\{\boldsymbol{e}_{{3}}\}}, {\{\boldsymbol{h}_{{1}}, \boldsymbol{h}_{{2}}, \boldsymbol{h}_{{4}}\}}_{\{\boldsymbol{e}_{{4}}\}}, {\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}, \boldsymbol{e}_{{5}}\}}\}.$

Proposition 1 Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, \boldsymbol{ }\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ be amply soft sets over $\boldsymbol{X}; \boldsymbol{ }\boldsymbol{A}, \boldsymbol{B}, \boldsymbol{C}\subseteq \boldsymbol{E}$. Then the followings are hold.

1. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \boldsymbol{F}\boldsymbol{*}\boldsymbol{A},$

2. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \boldsymbol{F}\boldsymbol{*}\boldsymbol{A},$

3. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\widetilde{\emptyset} \cong \boldsymbol{F}\boldsymbol{*}\boldsymbol{A},$

4. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \widetilde{\emptyset} \cong \widetilde{\emptyset},$

5. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\mathit{\boldsymbol{\tilde X}} \cong \mathit{\boldsymbol{\tilde X}},$

6. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \mathit{\boldsymbol{\tilde X}} \cong \boldsymbol{F}\boldsymbol{*}\boldsymbol{A},$

7. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\widetilde{\cup}\boldsymbol{F}\boldsymbol{*}\boldsymbol{A},$

8. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\widetilde{\cap} \boldsymbol{F}\boldsymbol{*}\boldsymbol{A},$

9. $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{\cup}\boldsymbol{H}\boldsymbol{*}\boldsymbol{C} \cong \boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\left(\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\widetilde{\cup}\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\right),$

10. $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{\cap} \boldsymbol{H}\boldsymbol{*}\boldsymbol{C} \cong \boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \left(\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\widetilde{\cap} \boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\right),$

11. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \left(\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\widetilde{\cup}\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\right) \cong \left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{\cup}\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\right),$

12. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\left(\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\widetilde{\cap} \boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\right) \cong \left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{\cap} \left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\right).$

13. $\left(\right(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\left)\widetilde{' }\right)\widetilde{' } \cong \boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$

14. $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{' } \cong \left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{' }\widetilde{\cap} \left(\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{' }$

15. $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{' } \cong \left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{' }\widetilde{\cup}\left(\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}\right)\widetilde{' }$

Proof. Let $F*A$ and $G*B$ be amply soft sets over $X; A, B\subseteq E.$

1. $F*A$ defined as from the Definition 1,

So

Then,

2. It can be shown like above.

3. $F*A$ defined as from the Definition 1,

And $\widetilde{\emptyset}$ defined as from the Definition 5, $F\left(e\right) = \emptyset$ for all $e\in E$.

So

Then,

4. It can be shown like above.

5. $F*A$ defined as from the Definition 1,

And $\tilde X$ defined as from the Definition 6, $F\left(e\right) = X$ for all $e\in E$.

So

Then,

6. $F*A$ defined as from the Definition 1,

And $\tilde X$ defined as from the Definition 6, $F\left(e\right) = X$ for all $e\in E$.

So

Then,

7. $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B} = \boldsymbol{F}\cup \boldsymbol{G}\boldsymbol{*}\boldsymbol{A}\cup \boldsymbol{B}$. Then from the Definition 7, for all $\boldsymbol{e}\in \boldsymbol{E}$

So any one can see that clearly, $F\cup G\left(e\right) = G\cup F\left(e\right)$ for all $e\in E.$

Then,

8. $F*A\widetilde{\cap} G*B \cong F\cap G*A\cap B$. Then from the Definition 8, for all $e\in E$

So any one can see that clearly, $F\cap G\left(e\right) = G\cap F\left(e\right)$ for all $e\in E$.

Then,

The others can be shown like aboves.

Let $F*A$ and $G*B$ be amply soft sets over $X, A, B\subset E$.

$\left(F*A\right)\widetilde{' }$ is defined as

from the Definition 10. Then $\left(\right(F*A\left)\widetilde{' }\right)\widetilde{' } \cong \left(F\text{'}*E\right)\widetilde{' } = \left(F\text{'}\right)\text{'}*E$ defined as

Then, it means from the Definition 1,

The others can be shown like aboves.

Example 3 Let us consider the amply soft sets $F*A, G*B, H*C$ over $X$ on the Example 2.

1. Let us see if $(F*A\cup G*B)\cup H*C = F*A\cup (G*B\cup H*C).$

Then,

Then,

So,

2. Let us see if $\left(F*A\right)\widetilde{\cap} G*B\left)\widetilde{\cap} H*C \cong F*A\widetilde{\cap} \right(G*B\widetilde{\cap} H*C).$

Then,

Then,

So,

3. Let us see if $F*A\widetilde{\cap} \left(G*B\widetilde{\cup}H*C\right) \cong \left(F*A\widetilde{\cap} G*B\right)\widetilde{\cup}\left(F*A\widetilde{\cap} H*C\right).$

Then,

Then,

So,

4. Let us see if $F*A\widetilde{\cup}\left(G*B\widetilde{\cap} H*C\right) \cong \left(F*A\widetilde{\cup}G*B\right)\widetilde{\cap} \left(F*A\widetilde{\cup}H*C\right).$

Then,

$\Leftarrow):$

So,

5. Let us see if $\left(F*A\right)\widetilde{' })\widetilde{' } \cong F*A.$

$\left(F*A\right)\widetilde{' }$ is showed in matter 5 on the Example 2. Then,

and it is equal

Then

6. Let us see if $\left(F*A\widetilde{\cup}G*B\right)\widetilde{' } \cong \left(F*A\right)\widetilde{' }\widetilde{\cap} \left(G*B\right)\widetilde{' }.$

$F*A\widetilde{\cup}G*B \cong F\cup G*A\cup B$ is showed in matter 1 on the Example 2. Then,

$\left(F*A\right)\widetilde{' }$ is showed as in matter 5 on the Example 2 and $\left(G*B\right)\widetilde{' }$ is showed as in matter 6 on the Example 2. Then,

So,

7. Let us see if $\left(F*A\widetilde{\cap} G*B\right)\widetilde{' } \cong \left(F*A\right)\widetilde{' }\widetilde{\cup}\left(G*B\right)\widetilde{' }.$

$F*A\widetilde{\cap} G*B$ is showed as in matter 2 on the Example 2. Then,

$\left(F*A\right)\widetilde{' }$ is showed as in matter 5 on the Example 2. And $\left(G*B\right)\widetilde{' }$ is showed as in matter 6 on the Example 2. Then,

So,

The following example, we take E as an uncountable parameter.

Example 4 Let $X = \{x_{{1}}, x_{{2}}, x_{{3}}, x_{{4}}, x_{{5}}, x_{{6}}, x_{{7}}, x_{{8}}, x_{{9}}, x_{{10}}\}$be set of walnut types, $E$ be a parameter set of resistance in percent against to walnut illness; $F$ and $G$, denotes different types of walnut illnesses, be mappings from $E$ to $P\left(X\right)$; $E = \left[\mathrm{0,100}\right]\subset \mathbb{R}$ and $A = \left(\mathrm{60, 90}\right]$, $B = \left(\mathrm{80,100}\right]\subset E$, $\mathbb{R}$ is set of real numbers.

And let $F*A$ be an amply soft set for walnut types resistancing in percent against to a type of walnut illness, is defined by

and

$G*B$ be an amply soft set for walnut types resistancing in percent against to another type of walnut illness, is defined by

Then we can find the followings:

1. $F*\left(\mathrm{60, 90}\right]\widetilde{\cup}G*\left(\mathrm{75, 95}\right] \cong F\cup G*$

$\left(\mathrm{60, 95}\right] \cong \{{\{x_{{1}}, x_{{3}}, x_{{7}}, x_{{8}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{60, 70}\right]}, {\{x_{{1}}, x_{{7}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{70, 75}\right]}$,

${\{x_{{1}}, x_{{2}}, x_{{3}}, x_{{7}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{75, 80}\right]}, {\{x_{{1}}, x_{{2}}, x_{{3}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{80, 85}\right]}, {\{x_{{1}}, x_{{2}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{85, 90}\right]}, {\{x_{{1}}, x_{{2}}\}}_{\left(\mathrm{90, 95}\right]}\}.$

2. $F*\left(\mathrm{60, 90}\right]\widetilde{\cap} G*\left(\mathrm{75, 95}\right] \cong F\cap G*\left(\mathrm{75, 90}\right] = \{{\{x_{{1}}, x_{{10}}\}}_{\left(\mathrm{75, 85}\right]}, {\{x_{{1}}\}}_{\left(\mathrm{85, 90}\right]}\}.$

3. $F*\left(\mathrm{60, 90}\right]\widetilde{\backslash }G*\left(\mathrm{75, 95}\right] \cong F\backslash G*\left(\mathrm{60, 90}\right] \cong \{{\{x_{{1}}, x_{{3}}, x_{{7}}, x_{{8}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{60, 70}\right]}, {\{x_{{1}}, x_{{7}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{70, 75}\right]}, {\{x_{{7}}, x_{{9}}\}}_{\left(\mathrm{75, 80}\right]}, {\{x_{{9}}\}}_{\left(\mathrm{80, 85}\right]}, {\{x_{{9}}, x_{{10}}\}}_{\left(\mathrm{85, 90}\right]}\}.$

4. $G*\left(\mathrm{75, 95}\right]\widetilde{\backslash }F*\left(\mathrm{60, 90}\right] \cong G\backslash F*\left(\mathrm{75, 95}\right] \cong \{{\{x_{{2}}, x_{{3}}\}}_{\left(\mathrm{75, 85}\right]}, {\{x_{{2}}\}}_{\left(\mathrm{85, 90}\right]}, {\{x_{{1}}, x_{{2}}\}}_{\left(\mathrm{90, 95}\right]}\}.$

5. ${\left(F*\left(\mathrm{60, 90}\right]\right)}^{\widetilde{' }} \cong {F}^{\text{'}}*\left[\mathrm{0,100}\right] \cong \{{\{x_{{2}}, x_{{4}}, x_{{5}}, x_{{6}}\}}_{\left(\mathrm{60, 70}\right]}, {\{x_{{2}}, x_{{3}}, x_{{4}}, x_{{5}}, x_{{6}}, x_{{8}}\}}_{\left(\mathrm{70, 80}\right]}, {\{x_{{2}}, x_{{3}}, x_{{4}}, x_{{5}}, x_{{6}}, x_{{7}}, x_{{8}}\}}_{\left(\mathrm{80, 90}\right]}, {X}_{\left[\mathrm{0, 60}\right]\cup \left(\mathrm{95,100}\right]}\}.$

6. $\left(G*\left(\mathrm{75, 95}\right]\right)\widetilde{' } \cong {G}^{\text{'}}*\left[\mathrm{0,100}\right] \cong \{{\{x_{{4}}, x_{{5}}, x_{{6}}, x_{{7}}, x_{{8}}, x_{{9}}\}}_{\left(\mathrm{75, 85}\right]}, {\{x_{{3}}, x_{{4}}, x_{{5}}, x_{{6}}, x_{{7}}, x_{{8}}, x_{{9}}, x_{{10}}\}}_{\left(\mathrm{85, 95}\right]}, {X}_{\left[\mathrm{0, 75}\right]\cup \left(\mathrm{95,100}\right]}\}.$

The following example, we take $E$ and $X$ as an uncountable.

Example 5 Let $X = \mathbb{R}, E = \left(\mathrm{0, 10}\right]\subset \mathbb{R}, F*\left(\mathrm{2, 5}\right]$ and $G*\left(\mathrm{3, 8}\right]$ be amply soft sets, defined as follows respectively, over X, $\mathbb{R}$ is a set of real numbers.

Then we can find the following:

1. $F*\left(\mathrm{2, 5}\right]\widetilde{\cup}G*\left(\mathrm{3, 8}\right] \cong F\cup G*\left(\mathrm{2, 8}\right] \cong \{{\left[\mathrm{10, 15}\right]}_{\left(\mathrm{2, 3}\right]}, {\left[\mathrm{7, 15}\right]}_{\left(\mathrm{3, 4}\right]}, {\left[\mathrm{7, 12}\right]\cup \left\{13\right\}}_{\left(\mathrm{4, 5}\right]}, {\left[\mathrm{7, 12}\right]}_{\left(\mathrm{5, 7}\right]}, {\left(\mathrm{0,100}\right)}_{\left(\mathrm{7, 8}\right]}\}$

2. $F*\left(\mathrm{2, 5}\right]\widetilde{\cap} G*\left(\mathrm{3, 8}\right] \cong F\cap G*\left(\mathrm{3, 5}\right] \cong \left\{{\left[\mathrm{10, 12}\right]}_{\left(\mathrm{3, 4}\right]}\right\}$

3. $F*\left(\mathrm{2, 5}\right]\widetilde{\backslash }G*\left(\mathrm{3, 8}\right] \cong F\backslash G*\left(\mathrm{2, 5}\right] \cong \{{\left[\mathrm{10, 15}\right]}_{\left(\mathrm{2, 3}\right]}, {\left(\mathrm{12, 15}\right]}_{\left(\mathrm{3, 4}\right]}, {\left\{13\right\}}_{\left(\mathrm{4, 5}\right]}\}$

4. $G*\left(\mathrm{3, 8}\right]\widetilde{\backslash }F*\left(\mathrm{2, 5}\right] \cong G\backslash F*\left(\mathrm{3, 8}\right] \cong \{{\left[\mathrm{7, 10}\right)}_{\left(\mathrm{3, 4}\right]}, {\left[\mathrm{7, 12}\right]}_{\left(\mathrm{4, 7}\right]}, {\left(\mathrm{0,100}\right)}_{\left(\mathrm{7, 8}\right]}\}$

5. $\left(F*\right(\mathrm{2, 5}\left]\right)\widetilde{' } \cong F\text{'}*\left(\mathrm{0, 10}\right] \cong \{{\mathbb{R}-\left[\mathrm{10, 15}\right]}_{\left(\mathrm{2, 4}\right]}, {\mathbb{R}-\left\{13\right\}}_{\left(\mathrm{4, 5}\right]}, {\mathbb{R}}_{\left(\mathrm{0, 10}\right]-\left(\mathrm{2, 5}\right]}\}$

6. $\left(G*\right(\mathrm{3, 8}\left]\right)\widetilde{' } \cong G\text{'}*\left(\mathrm{0, 10}\right] \cong \{{\mathbb{R}-\left[\mathrm{7, 12}\right]}_{\left(\mathrm{3, 7}\right]}, {\mathbb{R}-\left(\mathrm{0,100}\right)}_{\left(\mathrm{7, 8}\right]}, {\mathbb{R}}_{\left(\mathrm{0, 10}\right]-\left(\mathrm{3, 8}\right]}\}$

Definition 11 Let $F*E$ be an amply soft set over $X$ and $x\in X$. If $F*E$ defined as $F\left(e\right) = \left\{x\right\}$ for all $e\in E$, then $F*E$ is called as an amply soft whole point and it is denoted by $\widetilde{x}$.

Definition 12 Let $F*A$be an amply soft set over $X$ and $x\in X$. If $F*A$ defined as $F\left(e\right) = \left\{x\right\}$ for all $e\in A$, then $F*A$ is called as an amply soft point and it is denoted by $x$.

Definition 13 Let $\left\{a\right\}\subset E$ and let $F*\left\{a\right\}$be an amply soft set over $X, x\in X$. If $F*\left\{a\right\}$ defined as $F\left(a\right) = \left\{x\right\},$ then $F*\left\{a\right\}$ is called a monad point and it is denoted by ${x}_{a}$.

Definition 14 Let $F*E$be an amply soft set over $X$ and $x\in X$. We say that $\widetilde{x}\widetilde{ \in }F*E$ read as amply soft whole point $\widetilde{x}$ belongs to the amply soft set $F*E$ if $x\in F\left(e\right)$for all $e\in E.$

Definition 15 Let $F*E$ be an amply soft set over $X$ and $x\in X$. We say that $\widetilde{x}\widetilde{\notin}F*E$ if $x\notin F\left(e\right)$ for some $e\in E$.

Definition 16 Let $F*A$ be an amply soft set over $X, x\in X$. We say that $x\widetilde{ \in }F*A$ read as amply soft point $x$ belongs to the amply soft set $F*A$ if $x\in F\left(e\right)$ for all $e\in A$.

Definition 17 Let $F*A$ be an amply soft set over $X$ and $x\in X$. We say that $x\widetilde{\notin}F*A$ if $x\notin F\left(e\right)$ for some $e\in A$.

Definition 18 Let $a\in A$ and $F*A$ be an amply soft set over $X, x\in X$. We say that ${x}_{a}\widetilde{ \in }F*A$ read as monad point $x$ belongs to the amply soft set $F*A$ if $x\in F\left(a\right)$.

Definition 19 Let $a\in E$ and $F*\left\{a\right\}$ be an amply soft set over $X, x\in X$. We say that ${x}_{a}\widetilde{\notin}F*\left\{a\right\}$ if $x\notin F\left(a\right).$

Proposition 2 Let $F*A$ and $G*B$ be amply soft sets over $X, x\in X.$ If $x\widetilde{ \in }F*A$ and $x\widetilde{ \in }G*B$then $x\widetilde{ \in }F*A\widetilde{\cup}G*B.$

Proof. It is obvious from the Definition 7 and the Definition 16.

Proposition 3 Let $F*A$ and $G*B$be amply soft sets over $X, x\in X$. If $x\widetilde{ \in }F*A, x\widetilde{ \in }G*B$ and $F*A\widetilde{\cap} G*B\widetilde{\ne}\widetilde{\emptyset}$ then $x\widetilde{ \in }F*A\widetilde{\cap} G*B.$

Proof. It is obvious from the Definition 8 and the Definition 16.

Proposition 4 Let $F*A$ and $G*B$ be amply soft sets over $X, x\in X, x\in F*A$ and $x\widetilde{ \in }G*B.$ If $A\cup B = E$, then $\widetilde{x}\widetilde{ \in }F*A\widetilde{\cup}G*B.$

Proof. It is obvious from the Proposition 2 and the Definition 14.

Example 6 Let us consider the Example 2.

We can see that clearly, $h_{{1}}\widetilde{\notin}F*A, h_{{1}}\widetilde{ \in }H*C, h_{{2}}\widetilde{ \in }F*A, h_{{2}}\widetilde{ \in }H*C$

1. $F*A\widetilde{\cap} H*C \cong F\cap H*A\cap C = F\cap H*\{e_{{1}}\} = \left\{{\{h_{{1}}, h_{{2}}\}}_{\{e_{{1}}\}}\right\}.$

So we can see that clearly, $h_{{1}}\widetilde{ \in }F*A\widetilde{\cap} H*C, h_{{2}}\widetilde{ \in }F*A\widetilde{\cap} H*C$.

2. $F*A\widetilde{\cup}H*C \cong F\cup H*A\cup C \cong F\cup H*\{e_{{1}}, e_{{2}}, e_{{3}}, e_{{4}}\} \cong \{{\{h_{{1}}, h_{{2}}\}}_{\{e_{{1}}\}}, {\{h_{{2}}, h_{{3}}, h_{{4}}\}}_{\{e_{{2}}\}}, {\{h_{{1}}, h_{{2}}, h_{{5}}\}}_{\{e_{{3}}\}}, {\{h_{{1}}, h_{{2}}, h_{{3}}\}}_{\{e_{{4}}\}}\}\text{.}$

So we can see that clearly, $h_{{1}}\widetilde{\notin}F*A\widetilde{\cup}H*C$ and $h_{{2}}\widetilde{ \in }F*A\widetilde{\cup}H*C$.

Proposition 5 Let $F*A$ be an amply soft set over $X$ and $a\in A$. If monad points ${x}_{a}\widetilde{ \in }F*A$ for all $a\in A$ then $x\widetilde{ \in }F*A$.

Proof. It is obvious from the Definition 18 and the Definition 12.

Proposition 6 Let $F*E$ be an amply soft set over $X$. If monad points ${x}_{a}\widetilde{ \in }F*E$ for all $a\in E$ then $\widetilde{x}\widetilde{ \in }F*E$.

Proof. It is obvious from the Definition 18 and the Definition 11.

Example 7 Let us consider the Example 2.

Monad points ${h}_{2e_{{1}}}, {h}_{2e_{{2}}}, {h}_{2e_{{3}}}\widetilde{ \in }F*A$. Then we can see that clearly, $h_{{2}}\widetilde{ \in }F*A$.

3.   AS and PAS topologies

Definition 20 Let $\widetilde{ \tau }$ be the collection of amply soft sets over $X$, then $\widetilde{ \tau }$ is said to be an amply soft topology (or briefly AS topology) on $\tilde X$ if,

1. $\widetilde{\emptyset}, \mathit{\boldsymbol{\tilde X}}$ belong to $\widetilde{ \boldsymbol{\tau } }$

2. The union of any number of amply soft sets in $\widetilde{ \boldsymbol{\tau } }$ belongs to $\widetilde{ \boldsymbol{\tau } }$

3. The intersection of any two amply soft sets in $\widetilde{ \boldsymbol{\tau } }$ belongs to $\widetilde{ \boldsymbol{\tau } }$.

The triplet $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is called as an amply soft topological space over $\mathit{\boldsymbol{\tilde X}}$.

We will use AS topological space $\mathit{\boldsymbol{\tilde X}}$ instead of amply soft topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ for shortly.

Definition 21 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space, then the members of $\widetilde{ \tau }$ are said to be AS open sets in an AS topological space $\tilde X$.

Definition 22 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space. An amply soft set $F*A$ over $\tilde X$ is said to be an AS closed set in an AS topological space $\tilde X$, if its complement $\left(F*A\right)\widetilde{' }$ belongs to $\widetilde{ \tau }$.

Proposition 7 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space. Then

1. $\widetilde{\emptyset}, \mathit{\boldsymbol{\tilde X}}$ are AS closed sets in AS topological space $\mathit{\boldsymbol{\tilde X}}$,

2. The intersection of any number of AS closed sets is an AS closed set in an AS topological space $\mathit{\boldsymbol{\tilde X}}$,

3. The union of any two AS closed sets is an AS closed set in an AS topological space $\mathit{\boldsymbol{\tilde X}}$.

Proposition 8 Let $(\widetilde{X}, \widetilde{ \tau }, E)$ be an AS topological space. Then the collection ${\tau }_{e} = \left\{F\right(e\left)\right|F*E\widetilde{ \in }\widetilde{ \tau }\}$ for each $e\in E$, defines topologies on $X$.

Proof. Let $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ be an AS topological space.

1. Because $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is an AS topological space; $\widetilde{\emptyset}, \mathit{\boldsymbol{\tilde X}}\widetilde{ \in }\widetilde{ \boldsymbol{\tau } }$ from the Definition 20.

a. Since $\mathit{\boldsymbol{\tilde X}}\widetilde{ \in }\widetilde{ \boldsymbol{\tau } }$, there exist an AS open set $\boldsymbol{F}\boldsymbol{*}\boldsymbol{E}$ such that $\boldsymbol{F}\left(\boldsymbol{e}\right) = \boldsymbol{X}$ for all $\boldsymbol{e}\in \boldsymbol{E}$ from the Definition 6. And we can see that clearly, $\boldsymbol{X}\in {\boldsymbol{\tau }}_{\boldsymbol{e}}$ for all $\boldsymbol{e}\in \boldsymbol{E}$.

b. Since $\widetilde{\emptyset}\in \widetilde{ \boldsymbol{\tau } }$, there exist an AS open set $\boldsymbol{G}\boldsymbol{*}\boldsymbol{E}$ such that $\boldsymbol{G}\left(\boldsymbol{e}\right) = {\emptyset }$ for all $\boldsymbol{e}\in \boldsymbol{E}$ from the Definition 5. And we can see that clearly, ${\emptyset }\in {\boldsymbol{\tau }}_{\boldsymbol{e}}$ for all $\boldsymbol{e}\in \boldsymbol{E}$.

2. Because $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is an AS topological space, the union of any number of amply soft sets in $\widetilde{ \boldsymbol{\tau } }$ belongs to $\widetilde{ \boldsymbol{\tau } }$ from the Definition 20. Then from the Definition 7, the union of any number of sets in ${\boldsymbol{\tau }}_{\boldsymbol{e}}$ belongs to ${\boldsymbol{\tau }}_{\boldsymbol{e}}$ for all $\boldsymbol{e}\in \boldsymbol{E}.$

3. Because $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is an AS topological space, the intersection of any two amply soft sets in $\widetilde{ \boldsymbol{\tau } }$ belongs to $\widetilde{ \boldsymbol{\tau } }$ from the Definition 20. Then from the Definition 8, the intersection of any two sets in ${\boldsymbol{\tau }}_{\boldsymbol{e}}$ belongs to ${\boldsymbol{\tau }}_{\boldsymbol{e}}$ for all $\boldsymbol{e}\in \boldsymbol{E}.$

So ${\boldsymbol{\tau }}_{\boldsymbol{e}} = \left\{\boldsymbol{F}\right(\boldsymbol{e}\left)\right|(\boldsymbol{F}, \boldsymbol{E})\widetilde{ \in }\widetilde{ \boldsymbol{\tau } }\}$ for each $\boldsymbol{e}\in \boldsymbol{E}$, defines topologies on $\boldsymbol{X}$.

Example 8 Let $\boldsymbol{X} = \{\boldsymbol{x}, \boldsymbol{y}, \boldsymbol{z}\}$ be a universal set, $\boldsymbol{E} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}\}$ a parameter set and

such that every members an amply soft set over $\boldsymbol{X}$.

We can see that clearly $\widetilde{ \boldsymbol{\tau } }$ is an AS topology from the Definition 20. And so, we can see that

and

are topologies on $\boldsymbol{X}$.

Also,

Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{E} \cong \{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\boldsymbol{X}}_{\left\{{\boldsymbol{e}}_{3}\right\}}\}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{E} \cong \{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ be amply soft sets over $\boldsymbol{X}$. We can see that clearly these amply soft sets are AS closed sets on $\widetilde{ \boldsymbol{\tau } }$.

1. We want to learn whether the union of these AS closed sets is an AS closed set.

$\boldsymbol{F}\boldsymbol{*}\boldsymbol{E}\widetilde{\cup}\boldsymbol{G}\boldsymbol{*}\boldsymbol{E} \cong \boldsymbol{F}\cup \boldsymbol{G}\boldsymbol{*}\boldsymbol{E} = \{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{3}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}\}.$ And its complement is $(\boldsymbol{F}\cup \boldsymbol{G}\boldsymbol{*}\boldsymbol{E})\widetilde{' } \cong (\boldsymbol{F}\cup \boldsymbol{G})\boldsymbol{\text{'}}\boldsymbol{*}\boldsymbol{E} \cong \left\{{\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\right\}.$ It is an AS open set that we can see it clearly in $\widetilde{ \boldsymbol{\tau } }$. From the Definition 22, the union of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{E}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{E}$ is an AS closed set.

2. We want to learn whether the intersection of these AS closed sets is an AS closed set.

$\boldsymbol{F}\boldsymbol{*}\boldsymbol{E}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{E} \cong \boldsymbol{F}\cap \boldsymbol{G}\boldsymbol{*}\boldsymbol{E} \cong \{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{3}}\}}\}.$ And its complement is $(\boldsymbol{F}\cap \boldsymbol{G}\boldsymbol{*}\boldsymbol{E})\widetilde{' } \cong (\boldsymbol{F}\cap \boldsymbol{G})\widetilde{' }\boldsymbol{*}\boldsymbol{E} \cong \{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\text{.}$

It is an AS open set that we can see it clearly in $\widetilde{ \boldsymbol{\tau } }$. From the Definition 22, the intersection of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{E}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{E}$ is an AS closed set.

Definition 23 Let $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol \tau }_{{1}}, \boldsymbol{E})$ and $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol \tau }_{{2}}, \boldsymbol{E})$ be two AS topological space on $\mathit{\boldsymbol{\tilde X}}$. Then the followings are hold.

1. If $\widetilde{ \boldsymbol \tau }_{{2}}\widetilde{\subseteq}\widetilde{ \boldsymbol \tau }_{{1}}$ then $\widetilde{ \boldsymbol \tau }_{{1}}$ is finer then $\widetilde{ \boldsymbol \tau }_{{2}},$

2. If $\widetilde{ \boldsymbol \tau }_{{2}}\widetilde{\subseteq}\widetilde{ \boldsymbol \tau }_{{1}}$ then $\widetilde{ \boldsymbol \tau }_{{2}}$ is coarser then $\widetilde{ \boldsymbol \tau }_{{1}}.$

Definition 24 Let $(\widetilde{X}, \widetilde{ \tau }, E)$ be an AS topological space and $\widetilde{\beta }\widetilde{\subseteq}\widetilde{ \tau }$. If every element of $\widetilde{ \tau }$ can be written as any union of elements of $\widetilde{\beta }$, then $\widetilde{\beta }$ is called as an AS basis for the AS topology $\widetilde{ \tau }$. Then we can say that each element of $\widetilde{\beta }$ is an AS basis element.

Example 9 Let us consider the AS topology on the Example 8. Then

is an AS basis for the AS topology $\widetilde{ \boldsymbol{\tau } }$.

Definition 25 Let $n\in \mathbb{N}$, ${e}_{n}\in E$. And let $(X, {\tau }_{n})$ be topological spaces over same initial universe $X$. And let $f$ be mapping from ${\tau }_{n}$ to ${\tau }_{{e}_{n}}$ for all $e\in E$. Then $\widetilde{\beta } \cong \left\{{\tau }_{{e}_{n}}\right\}$ is an AS basis for an AS topology $\widetilde{ \tau }$. We can say that it is called as an AS topology produced by classical topologies and for shortly a PAS topology.

Example 10 Let $\boldsymbol{X} = \{\boldsymbol{x}, \boldsymbol{y}, \boldsymbol{z}\}, \boldsymbol{ }\boldsymbol{E} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}\}$ and $(\boldsymbol{X}, \boldsymbol{\tau }_{{1}}), \boldsymbol{ }(\boldsymbol{X}, \boldsymbol{\tau }_{{2}}), (\boldsymbol{X}, \boldsymbol{\tau }_{{3}})$ are topological spaces over $\boldsymbol{X}$ such that ${\boldsymbol{\tau }}_{_{{1}}} = \{{\emptyset }, \boldsymbol{X}, \{\boldsymbol{x}, \boldsymbol{y}\}, \{\boldsymbol{x}, \boldsymbol{z}\}, \{\boldsymbol{x}\left\}\right\}, {\boldsymbol{\tau }}_{_{{2}}} = \{{\emptyset }, \boldsymbol{X}, \{\boldsymbol{y}\}, \boldsymbol{ }\{\boldsymbol{y}, \boldsymbol{z}\left\}\right\}, {\boldsymbol{\tau }}_{_{{3}}} = \{{\emptyset }, \boldsymbol{X}, \{\boldsymbol{y}\}, \{\boldsymbol{z}\}, \{\boldsymbol{y}, \boldsymbol{z}\left\}\right\}.$

Let $\boldsymbol{n}\in \{\mathrm{1, 2}, 3\}, \boldsymbol{ }\boldsymbol{f}$ is mapping from ${\boldsymbol{\tau }}_{\boldsymbol{n}}$ to ${\boldsymbol{\tau }}_{{\boldsymbol{e}}_{\boldsymbol{n}}}$ for all $\boldsymbol{e}\in \boldsymbol{E}$. We take $\widetilde{\boldsymbol{\beta } } \cong \{{\boldsymbol{\tau }}_{\boldsymbol{e}_{{1}}}, {\boldsymbol{\tau }}_{\boldsymbol{e}_{{2}}}, {\boldsymbol{\tau }}_{\boldsymbol{e}_{{3}}}\}$ with helping $\boldsymbol{f}$, for produce AS topology over $\boldsymbol{X}$.

Then, we can define PAS topology $\widetilde{ \boldsymbol{\tau } }$ over $\mathit{\boldsymbol{\tilde X}}$. For this we have to take any union of element of $\widetilde{\boldsymbol{\beta } }$ from the Definition 24. So;

Hence, we establish PAS topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ over $\mathit{\boldsymbol{\tilde X}}$ from the AS basis $\widetilde{\boldsymbol{\beta } } \cong \{{\boldsymbol{\tau }}_{\boldsymbol{e}_{{1}}}, {\boldsymbol{\tau }}_{\boldsymbol{e}_{{2}}}, {\boldsymbol{\tau }}_{\boldsymbol{e}_{{3}}}\}.$

Proposition 9 Any PAS topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde {{\mathit{\boldsymbol{\tau }}_{{\bf{1}}}}}, \boldsymbol{E})$ is finer then the AS topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde {{\mathit{\boldsymbol{\tau }}_{{\bf{2}}}}}, \boldsymbol{E})$ over same universe $\mathit{\boldsymbol{\tilde X}}$.

Example 11 Let us consider the PAS topology on the Example 10 and consider the AS topology $\widetilde{ \boldsymbol{\tau } }$ over same universe on Example 8. We can see that clearly, any element of the AS topology is subset of the PAS topology. So we can say that PAS topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde {{\mathit{\boldsymbol{\tau }}_{{\bf{1}}}}}, \boldsymbol{E})$ is finer then AS topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde {{\mathit{\boldsymbol{\tau }}_{{\bf{2}}}}}, \boldsymbol{E})$ over same universe $\mathit{\boldsymbol{\tilde X}}$.

Proposition 10 Let $\boldsymbol{n}\in \mathbb{N}, {\boldsymbol{e}}_{\boldsymbol{n}}\in \boldsymbol{E}, \boldsymbol{ }(\boldsymbol{X}, {\boldsymbol{\tau }}_{\boldsymbol{n}})$ be topological spaces over same initial universe $\boldsymbol{X}, {\boldsymbol{\beta }}_{\boldsymbol{n}}$ be basis for each ${\boldsymbol{\tau }}_{\boldsymbol{n}}$ and let $\boldsymbol{f}_{{1}}$ be mapping from ${\boldsymbol{\beta }}_{\boldsymbol{n}}$ to ${\boldsymbol{\beta }}_{{\boldsymbol{e}}_{\boldsymbol{n}}}$ for all $\boldsymbol{e}\in \boldsymbol{E}, \widetilde {{\mathit{\boldsymbol{\beta }}_{{\bf{1}}}}} \cong \left\{{\boldsymbol{\beta }}_{{\boldsymbol{e}}_{\boldsymbol{n}}}\right\}$ be an AS basis for an AS topology $\widetilde{ \boldsymbol \tau }_{{1}}.$ And let $\widetilde {{\mathit{\boldsymbol{\beta }}_{{\bf{2}}}}} \cong \left\{{\boldsymbol{\tau }}_{{\boldsymbol{e}}_{\boldsymbol{n}}}\right\}$ be an AS basis for an AS topology $\widetilde{ \boldsymbol \tau }_{{2}}$ such that $\boldsymbol{f}_{{2}}$ be mapping from ${\boldsymbol{\tau }}_{\boldsymbol{n}}$ to ${\boldsymbol{\tau }}_{{\boldsymbol{e}}_{\boldsymbol{n}}}$ for all $\boldsymbol{e}\in \boldsymbol{E}$. Then PAS topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol \tau }_{{1}}, \boldsymbol{E})$ is finer then PAS topological space $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol \tau }_{{2}}, \boldsymbol{E}).$

Definition 26 Let $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ be an AS topological space and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ be an AS set over $\mathit{\boldsymbol{\tilde X}}$. Then the collection,

is called a subspace AS topology on $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$. Hence, $(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, \widetilde {{\mathit{\boldsymbol{\tau }}_{\mathit{\boldsymbol{F}}*\mathit{\boldsymbol{A}}}}}, \boldsymbol{A})$ is called as an AS topological subspace of $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E}).$

Definition 27 Let $(\boldsymbol{X}, \boldsymbol{\tau }, \boldsymbol{E})$ be an AS topological space and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ be an AS set over $\mathit{\boldsymbol{\tilde X}}$. Then the interior of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ denoted by $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{°}$ is defined as a union of all AS open subsets of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}.$

Note that this, $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{°}$ is the biggest AS open set that is contained by $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$.

Example 12 Let us consider the AS topology $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 8. And $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ be an AS set over $\boldsymbol{X}$ such that $\boldsymbol{A} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\}\subset \boldsymbol{E}$. Then,

Example 13 Let us consider the PAS topology $(\boldsymbol{X}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 10 and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ be an AS set over $\boldsymbol{X}$ such that $\boldsymbol{A} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\}\subset \boldsymbol{E}$. Then,

Proposition 11 Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ be an AS set on $\boldsymbol{X}$ and let $\boldsymbol{\tau }_{{1}}$ be a PAS topological space and $\boldsymbol{\tau }_{{2}}$ be an AS topological space on $\boldsymbol{X}$. Then, $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{°}$ on $\widetilde{ \boldsymbol \tau }_{{2}}$ is contained by $\left(\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\right)\widetilde{°}$ on $\widetilde{ \boldsymbol \tau }_{{1}}$.

Proof. It is obvious from the Proposition 9 and the Definition 27.

Definition 28 Let $(\boldsymbol{X}, \boldsymbol{\tau }, \boldsymbol{E})$ be an AS topological space and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ be an AS set over $\mathit{\boldsymbol{\tilde X}}$. Then the closure of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ denoted by $\overline{\boldsymbol{F} * \boldsymbol{A}}$ is defined as the intersection of all AS closed supersets of $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$. Note that this, $\overline{\boldsymbol{F} * \boldsymbol{A}}$ is the smallest AS closed set is containing $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$.

Example 14 Let us consider the AS topology $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 8 and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ be an AS set over $\mathit{\boldsymbol{\tilde X}}$ such that $\boldsymbol{A} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\}\subset \boldsymbol{E}$. Then,

Example 15 Let us consider the PAS topology $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 10 and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A} \cong \{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ be an AS set over $\boldsymbol{X}$ such that $\boldsymbol{A} = \{\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\}\subset \boldsymbol{E}$. Then,

Proposition 12 Let $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ be an AS set, $\widetilde{ \boldsymbol \tau }_{{1}}$ be a PAS topological space and $\widetilde{ \boldsymbol \tau }_{{2}}$ be an AS topological space on $\mathit{\boldsymbol{\tilde X}}$. Then, $\overline{\boldsymbol{F} * \boldsymbol{A}}$ on $\widetilde{ \boldsymbol \tau }_{{2}}$ is containing $\overline{\boldsymbol{F} * \boldsymbol{A}}$ on $\widetilde{ \boldsymbol \tau }_{{1}}$.

Proof. It is obvious from the Proposition 9 and the Definition 28.

Note that these separation axioms defined as parametric separations in below are different from ${\boldsymbol{T}}_{\boldsymbol{i}}$ separation axioms. ${\boldsymbol{T}}_{\boldsymbol{i}}$ questions the relationship between the elements of space itself while ${\boldsymbol{P}}_{\boldsymbol{i}}$ questions the strength of the connection between their parameters.

Definition 29 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space and $a, b\in E$ such that $a\ne b$, if there exist $x\in X$ and. AS open sets $F*A$ and $G*B$ such that ${x}_{a}\widetilde{ \in }F*A$ and ${x}_{b}\widetilde{\notin}F*A$; or ${x}_{b}\widetilde{ \in }G*B$ and ${x}_{a}\widetilde{\notin}G*B$, then $(\tilde X, \widetilde{ \tau }, E)$ is called as a $P_{{0}}$ space.

Example 16 Let us consider the AS topology $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 8.

For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\in \boldsymbol{E}$, there exist $\boldsymbol{x}\in \boldsymbol{X}$ and AS open set $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ and ${\boldsymbol{x}}_{\boldsymbol{e}_{{2}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}.$

For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{3}}\in \boldsymbol{E},$ there exist $\boldsymbol{y}\in \boldsymbol{X}$ and AS open set $\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{1}}}\widetilde{\notin}\left\{\right\{{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$.

For $\boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}\in \boldsymbol{E},$ there exist $\boldsymbol{y}\in \boldsymbol{X}$ and AS open set $\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{y}}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\widetilde{\notin}\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}.$

So $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{0}}$ space from the Definition 29.

Definition 30 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space and $a, b\in E$ such that $a\ne b$. If there exist $x\in X$ and AS open sets $F*A$ and $G*B$ such that ${x}_{a}\widetilde{ \in }F*A$ and ${x}_{b}\widetilde{\notin}F*A$; and ${x}_{b}\widetilde{ \in }G*B$ and ${x}_{a}\widetilde{\notin}G*B$, then $(\tilde X, \widetilde{ \tau }, E)$ is called as a $P_{{1}}$ space.

Example 17 Let us consider the AS topology $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 8.

For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\in \boldsymbol{E}$ there exist $\boldsymbol{z}\in \boldsymbol{X}$ and AS open sets $\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{z}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{z}}_{\boldsymbol{e}_{{2}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$; and ${\boldsymbol{z}}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{z}}_{\boldsymbol{e}_{{1}}}\widetilde{\notin}\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$.

For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{3}}\in \boldsymbol{E}$ there exist $\boldsymbol{y}\in \boldsymbol{X}$ and AS open sets $\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ such that ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{1}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$; and ${\boldsymbol{y}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}\}$.

For $\boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}\in \boldsymbol{E}$ there exist $\boldsymbol{y}\in \boldsymbol{X}$ and AS open sets $\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{y}}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\widetilde{\notin}\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{2}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$.

So $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{1}}$ space from the Definition 30.

Theorem 1 Let $(\tilde X, \widetilde{ \tau }, E)$ be a $P_{{1}}$ space, then it is also a $P_{{0}}$ space.

Proof. It is obvious from the Definition 30 and the Definition 29.

Definition 31 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space and $a, b\in E$ such that $a\ne b$. If there exist $x\in X$ and AS open sets $F*A$ and $G*B$ such that ${x}_{a}\widetilde{ \in }F*A$, ${x}_{b}\widetilde{ \in }G*B$ and $F*A\widetilde{\cap} G*B \cong \widetilde{\emptyset}$, then $(\tilde X, \widetilde{ \tau }, E)$ is called as a $P_{{2}}$ space.

Example 18 Let us consider the AS topology $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 8.

For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\in \boldsymbol{E}$, there exist $\boldsymbol{z}\in \boldsymbol{X}$ and AS open sets $\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{z}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}, {\boldsymbol{z}}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and

But for $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{3}}\in \boldsymbol{E}$, there aren't any exist $\boldsymbol{x}\in \boldsymbol{X}$ and AS open sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, {\boldsymbol{x}}_{\boldsymbol{e}_{{3}}}\widetilde{ \in }\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \widetilde{\emptyset}.$

So $(\boldsymbol{X}, \boldsymbol{\tau }, \boldsymbol{E})$ is not a $\boldsymbol{P}_{{2}}$ space.

Theorem 2 Let $(\tilde X, \widetilde{ \tau }, E)$ be a $P_{{2}}$ space, then it is also a $P_{{1}}$ space.

Proof. Let $(\widetilde{{\bf{X}} }, {\widetilde{\mathit{τ }}}, {\bf{E}})$ be a ${\bf{P}}_{{2}}$ space and ${\bf{a}}, {\bf{b}}\in {\bf{E}}$ such that ${\bf{a}}\ne {\bf{b}}$. Then there exist ${\bf{x}}\in {\bf{X}}$ and AS open sets ${\bf{F}}{\bf{*}}{\bf{A}}$ and ${\bf{G}}{\bf{*}}{\bf{B}}$ such that ${{\bf{x}}}_{{\bf{a}}}\widetilde{ \in }{\bf{F}}{\bf{*}}{\bf{A}}, {{\bf{x}}}_{{\bf{b}}}\in {\bf{G}}{\bf{*}}{\bf{B}}$ and ${\bf{F}}{\bf{*}}{\bf{A}}\widetilde{\cap} {\bf{G}}{\bf{*}}{\bf{B}} = \widetilde{\emptyset }$ from the Definition 31. Because of ${\bf{F}}{\bf{*}}{\bf{A}}\widetilde{\cap} {\bf{G}}{\bf{*}}{\bf{B}} \cong \widetilde{\emptyset }$, there exist AS open sets ${\bf{F}}{\bf{*}}{\bf{A}}$ and ${\bf{G}}{\bf{*}}{\bf{B}}$ clearly that ${{\bf{x}}}_{{\bf{a}}}\widetilde{ \in }{\bf{F}}{\bf{*}}{\bf{A}}, {{\bf{x}}}_{{\bf{b}}}\widetilde{\notin}{\bf{F}}{\bf{*}}{\bf{A}}$ and ${{\bf{x}}}_{{\bf{b}}}\widetilde{ \in }{\bf{G}}{\bf{*}}{\bf{B}}, {{\bf{x}}}_{{\bf{a}}}\widetilde{\notin}{\bf{G}}{\bf{*}}{\bf{B}}$. This is true for all ${\bf{x}}\in {\bf{X}}$ and then, it is a ${\bf{P}}_{{1}}$ space from the Definition 30.

Theorem 3 Any PAS topological space $(\tilde X, \widetilde{ \tau }, E)$ is a $P_{{2}}$ space.

Proof. Let $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ be a PAS topological space, $\boldsymbol{n}\in \mathbb{N}$, ${\boldsymbol{e}}_{\boldsymbol{n}}\in \boldsymbol{E}$. There exist topological spaces $(\boldsymbol{X}, {\boldsymbol{\tau }}_{\boldsymbol{n}})$ over same initial universe $\boldsymbol{X}$. And $\boldsymbol{f}$ be mapping from ${\boldsymbol{\tau }}_{\boldsymbol{n}}\boldsymbol{t}\boldsymbol{o}{\boldsymbol{\tau }}_{{\boldsymbol{e}}_{\boldsymbol{n}}}$ for all e$\in \boldsymbol{E}; \widetilde{\boldsymbol{\beta } } = \left\{{\boldsymbol{\tau }}_{{\boldsymbol{e}}_{\boldsymbol{n}}}\right\}$ be an AS basis for a PAS topology $\widetilde{ \boldsymbol{\tau } }$ from the Definition 25. For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\in \boldsymbol{E}$ such that $\boldsymbol{e}_{{1}}\ne \boldsymbol{e}_{{2}}.$ Therefore, there exist AS open sets $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}, {\boldsymbol{x}}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}\widetilde{\cap} \left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\} \cong \widetilde{\emptyset}$. This is true for all $\boldsymbol{x}\in \boldsymbol{X}$ and then, $(\boldsymbol{X}, \boldsymbol{\tau }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{2}}$ space from the Definition 31.

Example 19 Let us consider the PAS topology $(\tilde X, \widetilde{ \tau }, E)$ on the Example 10. It is clearly seen that $(\tilde X, \widetilde{ \tau }, E)$ is a $P_{{2}}$ space from the Definition 31.

Example 20 Let $e_{{1}}, e_{{2}}\in E, x\in X$ and $(X, {\tau }_{e_{{1}}})$ and $(X, {\tau }_{e_{{2}}})$ be indiscrete topological spaces over same universe $X$. And let $(\tilde X, \widetilde{ \tau }, E)$ be their PAS topology. So; $\widetilde{ \tau } = \{\widetilde{\emptyset}, \tilde X, \{{X}_{\{e_{{1}}\}}\}, \{{X}_{\{e_{{2}}\}}\left\}\right\}$ is an AS topological space over $\tilde X$.

Therefore there exist AS open sets $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ such that ${\boldsymbol{x}}_{{\bf{e}}_{{1}}}\widetilde{ \in }\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}, \; {\boldsymbol{x}}_{{\bf{e}}_{{2}}}\widetilde{ \in }\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}\widetilde{\cap} \left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\} \cong \widetilde{\emptyset}.$ So $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{2}}$ space from the Definition 31.

Definition 32 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space, $H*C$ be an AS closed set, $a\in E, x\in X$ such that ${x}_{a}\widetilde{\notin}H*C$. If there exist $x\in X$ and AS open sets $F*A$ and $G*B$ such that ${x}_{a}\widetilde{ \in }F*A, H*C\widetilde{\subseteq}G*B$ and $F*A\widetilde{\cap} G*B \cong \widetilde{\emptyset}$ then $(\tilde X, \widetilde{ \tau }, E)$ is called as a Halime space.

Definition 33 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space. Then it is said to be a $P_{{3}}$ space if it is both a Halime space and a $P_{{1}}$ space.

Example 21 Let us consider the AS topology $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ on the Example 8. Let us see if it is Halime space.

For $\boldsymbol{e}_{{1}}\in \boldsymbol{E}$, choose ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}},$ there exist AS closed sets $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ such as $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}$, ${\boldsymbol{X}}_{\{\boldsymbol{e}_{{3}}\}}\}$, $\{{\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$, $\{{\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}\}}\}$, $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}}\notin \boldsymbol{H}\boldsymbol{*}\boldsymbol{C}.$ And AS open set of super set of each $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ is only $\mathit{\boldsymbol{\tilde X}}$. So there is not any exist AS open set $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \mathit{\boldsymbol{\tilde X}} \cong \widetilde{\emptyset}.$

This situation is similarly for ${\boldsymbol{y}}_{\boldsymbol{e}_{{1}}}$ and ${\boldsymbol{z}}_{\boldsymbol{e}_{{1}}}$. So $(\boldsymbol{X}, \boldsymbol{\tau }, \boldsymbol{E})$ is not a Halime space.

Example 22 Let $X = \{x, y, z\}$ be a universal set, $E = \{e_{{1}}, e_{{2}}, e_{{3}}\}$ be a parameter set, $\widetilde{ \tau } = \{\widetilde{\emptyset}, \tilde X, \{{\{x, y\}}_{\{e_{{1}}\}}, {\{x, z\}}_{\{e_{{2}}\}}, {\{y, z\}}_{\{e_{{3}}\}}\}, \{{\left\{z\right\}}_{\{e_{{1}}\}}, {\left\{y\right\}}_{\{e_{{2}}\}}, {\left\{x\right\}}_{\{e_{{3}}\}}\left\}\right\}$ such that every members an amply soft set $E\to P\left(X\right)$. Then $(\tilde X, \widetilde{ \tau }, E)$ is an AS topological space. Let us see if it is a $P_{{3}}$ space.

Firstly, let us see if it is a Halime space.

For $\boldsymbol{e}_{{1}}\in \boldsymbol{E}$, choose ${\boldsymbol{x}}_{{\bf{e}}_{{1}}}$ and for an AS closed set $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{x}}_{{\bf{e}}_{{1}}}\widetilde{\notin}\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$. There exists an AS open set $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\left\}\widetilde{\subseteq}\right\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\left\}\right\}$. And there exists an AS open set $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{x}}_{{\bf{e}}_{{1}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}\widetilde{\cap} \{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\} \cong \widetilde{\emptyset}$.

For $\boldsymbol{e}_{{2}}\in \boldsymbol{E}$, choose ${\boldsymbol{x}}_{\boldsymbol{e}_{{2}}}$ and for an AS closed set $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{2}}}\widetilde{\notin}\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$. There exists an AS open set $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\left\}\widetilde{\subseteq}\right\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\left\}\right\}$. And there exists an AS open set $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\left\{\boldsymbol{x}, \boldsymbol{y}\right\}}_{\left\{{\boldsymbol{e}}^{1}\right\}}, {\left\{\boldsymbol{x}, \boldsymbol{z}\right\}}_{\left\{{\boldsymbol{e}}^{2}\right\}}, {\left\{\boldsymbol{y}, \boldsymbol{z}\right\}}_{\left\{{\boldsymbol{e}}^{3}\right\}}\}\widetilde{\cap} \{{\left\{\boldsymbol{z}\right\}}_{\left\{{\boldsymbol{e}}^{1}\right\}}, {\left\{\boldsymbol{y}\right\}}_{\left\{{\boldsymbol{e}}^{2}\right\}}, {\left\{\boldsymbol{x}\right\}}_{\left\{{\boldsymbol{e}}^{3}\right\}}\}\} \cong \widetilde{\emptyset}.$

For $\boldsymbol{e}_{{3}}\in \boldsymbol{E}$, choose ${\boldsymbol{z}}_{\boldsymbol{e}_{{3}}}$ and for an AS closed set $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that ${\boldsymbol{z}}_{\boldsymbol{e}_{{3}}}\widetilde{\notin}\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}.$ There exists an AS open set $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\left\}\widetilde{\subseteq}\right\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\left\}\right\}$. And there exists an AS open set $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ such that ${\boldsymbol{z}}_{\boldsymbol{e}_{{3}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}\widetilde{\cap} \{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\} \cong \widetilde{\emptyset},$

So $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a Halime space from the Definition 32.

Finally, let us see if it is a $\boldsymbol{P}_{{1}}$ space.

For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{2}}\in \boldsymbol{E}$, there exist $\boldsymbol{y}\in \boldsymbol{X}$ and AS open sets $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that ${\boldsymbol{y}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{2}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$; and ${\boldsymbol{y}}_{\boldsymbol{e}_{{2}}}\in \boldsymbol{ }\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{1}}}\widetilde{\notin}\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}.$

For $\boldsymbol{e}_{{1}}, \boldsymbol{e}_{{3}}\in \boldsymbol{E}$, there exist $\boldsymbol{x}\in \boldsymbol{X}$ and AS open sets $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{x}}_{\boldsymbol{e}_{{3}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$; and ${\boldsymbol{x}}_{\boldsymbol{e}_{{3}}}\widetilde{ \in }\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ and ${\boldsymbol{x}}_{\boldsymbol{e}_{{1}}}\widetilde{\notin}\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$.

For $\boldsymbol{e}_{{2}}, \boldsymbol{e}_{{3}}\in \boldsymbol{E}$, there exist $\boldsymbol{y}\in \boldsymbol{X}$ and AS open sets $\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ such that ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\widetilde{ \in }\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{2}}}\widetilde{\notin}\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$; and ${\boldsymbol{y}}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ and ${\boldsymbol{y}}_{\boldsymbol{e}_{{3}}}\notin \{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$.

Therefore, $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{1}}$ space from the Definition 19. $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{3}}$ space because it is both a Halime space and a $\boldsymbol{P}_{{1}}$ space.

Theorem 4 Let $(\tilde X, \widetilde{ \tau }, E)$ be a $P_{{3}}$ space, then it is also a $P_{{2}}$ space.

Proof. Let $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ be a $\boldsymbol{P}_{{3}}$ space. Then it is both a $\boldsymbol{P}_{{1}}$ and a Halime space from the Definition 33.

Because $\widetilde{\boldsymbol{X} }, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a Halime space, for an AS closed set $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ and $\boldsymbol{a}\in \boldsymbol{E}, \boldsymbol{ }\boldsymbol{x}\in \boldsymbol{X}$ such that ${\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{\notin}\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$, there exist AS open sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that ${\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{ \in }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, \boldsymbol{ }\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\widetilde{\subseteq}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \widetilde{\emptyset}$. So from last equality it is seen that ${\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{ \in }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, {\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{\notin}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$. Because $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is also a $P_{{1}}$ space and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ is an AS open set, there exist ${\boldsymbol{x}}_{\boldsymbol{b}}\widetilde{ \in }\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that $\boldsymbol{b}\in \boldsymbol{E}$. And now on, We can see that clearly, there exist AS open sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that ${\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{ \in }\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, {\boldsymbol{x}}_{\boldsymbol{b}}\widetilde{ \in }\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \widetilde{\emptyset}$ so $(\boldsymbol{X}, \boldsymbol{\tau }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{2}}$ space, from the Definition 31.

Definition 34 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space, $H*C$ and $K*D$ be AS closed sets such that $H*C\widetilde{\cap} K*D = \widetilde{\emptyset}$. If there exist AS open sets $F*A$ and $G*B$ such that $H*C\widetilde{\subseteq}F*A, K*D\widetilde{\subseteq}G*$ B and $F*A\widetilde{\cap} G*B \cong \widetilde{\emptyset}$ then $(\tilde X, \widetilde{ \tau }, E)$ is called as an Orhan space.

Definition 35 Let $(\tilde X, \widetilde{ \tau }, E)$ be an AS topological space. Then it is said to be a $P_{{4}}$ space if it is both an Orhan space and a $P_{{1}}$ space.

Example 23 Let us consider the AS topology $(\tilde X, \widetilde{ \tau }, E)$ on the Example 22. Let us see if it is a $P_{{4}}$ space.

$\{{\{\boldsymbol{x}, \boldsymbol{y}\}}_{\{\boldsymbol{e}_{{1}}\}}, {\{\boldsymbol{x}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{2}}\}}, {\{\boldsymbol{y}, \boldsymbol{z}\}}_{\{\boldsymbol{e}_{{3}}\}}\}$ and $\{{\left\{\boldsymbol{z}\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {\left\{\boldsymbol{y}\right\}}_{\{\boldsymbol{e}_{{2}}\}}, {\left\{\boldsymbol{x}\right\}}_{\{\boldsymbol{e}_{{3}}\}}\}\}$ are disjoint AS closed sets on it. And we know that these are also disjoint AS open sets. So $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is an Orhan Space. And also $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{1}}$ space from the Example 22, so $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{4}}$ space from the Definition 35.

Example 24 Let us consider the PAS topology on the Example 20. Let us see if it is a $P_{{4}}$ space.

Firstly, let's see if it is an Orhan space. There exist AS closed sets $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\}$ such that $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}\widetilde{\cap} \left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\} \cong \widetilde{\emptyset}.$ And we know that $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\}$ are also AS open sets such that $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}\widetilde{\subseteq}\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}, \boldsymbol{ }\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\left\}\widetilde{\subseteq}\right\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\left\}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}\widetilde{\cap} \left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\} \cong \widetilde{\emptyset}$. So $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is an Orhan space.

Finally, let's see if it is a $\boldsymbol{P}_{{1}}$ space.

There exist AS open sets $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}$ and $\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\}$ such that ${\boldsymbol{x}}_{{\bf{e}}_{{1}}}\widetilde{ \in }\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}$, ${\boldsymbol{x}}_{{{\bf{e}}}_{2}}\widetilde{\notin}\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{1}}\}}\right\}$ and ${\boldsymbol{x}}_{{\bf{e}}_{{2}}}\widetilde{ \in }\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}, \; {\boldsymbol{x}}_{{{\bf{e}}}_{1}}\widetilde{\notin}\left\{{\boldsymbol{X}}_{\{\boldsymbol{e}_{{2}}\}}\right\}.$ So $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{1}}$ space. Because $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is both an Orhan space and a $\boldsymbol{P}_{{1}}$ space, it is a $\boldsymbol{P}_{{4}}$ space from the Definition 35.

Proposition 13 Any PAS topological space $(\tilde X, \widetilde{ \tau }, E)$ may not be a $P_{{4}}$ space.

Example 25 Let $\mathbb{R}$ be real numbers, $E = \{e_{{1}}, e_{{2}}\}$ be a universal parameter set, $(\mathbb{R}, \tau _{{1}})$ a discrete topological space and $(\mathbb{R}, \tau _{{2}})$ a finite complement topological space and from the Definition 25, their PAS topology over $\widetilde{\mathbb{R}} \; (\widetilde{\mathbb{R}}, \widetilde{ \tau }, E).$

Now let us see if $\widetilde{\mathbb{R}}$ is a $\boldsymbol{P}_{{4}}$ space.

Firstly, we can say that the PAS topology is a $\boldsymbol{P}_{{1}}$ space because of the Theorem 3 and the Theorem 2. Let us see it,

For $\boldsymbol{e}_{{1}}, \boldsymbol{ }\boldsymbol{e}_{{2}};$ there exist $\bf 2\in \mathbb{R}$ and $\{{\left\{\bf 2\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {(\mathbb{R}-\{\mathrm{\bf 2, 3}, \bf 5\left\}\right)}_{\{\boldsymbol{e}_{{2}}\}}\}, \boldsymbol{ }\boldsymbol{ }\{{\left\{\bf 3\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {(\mathbb{R}-\{\mathrm{\bf 3, 5}\left\}\right)}_{\{\boldsymbol{e}_{{2}}\}}\}\widetilde{ \in }\widetilde{ \boldsymbol{\tau } }$ such that ${\bf 2}_{\boldsymbol{e}_{{1}}}\widetilde{ \in }\{{\left\{\bf 2\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {(\mathbb{R}-\{\mathrm{\bf 2, 3}, \bf 5\left\}\right)}_{\{\boldsymbol{e}_{{2}}\}}\}$ and ${\bf 2}_{\boldsymbol{e}_{{2}}}\widetilde{\notin}\{{\left\{\bf 2\right\}}_{\{\boldsymbol{e}_{{1}}\}}, {(\mathbb{R}-\{\mathrm{\bf 2, 3}, \bf 5\left\}\right)}_{\{\boldsymbol{e}_{{2}}\}}\}$; ${\bf 2}_{\boldsymbol{e}_{{2}}}\widetilde{ \in }\{{\left\{\bf 3\right\}}_{\{\boldsymbol{e}_{{1}}\}}$, $(\mathbb{R}-${3, 5}){e₂}} and 2{e₁}∉{{3}{e₁}, ($\mathbb{R}$-{3, 5}){e₂}}. Therefore, it is clearly seen that $(\widetilde{\mathbb{R}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is a $\boldsymbol{P}_{{1}}$ space from the Definition 30.

Finally, let us see if $\widetilde{\mathbb{R}}$ is an Orhan space. Let $\boldsymbol{U}, \boldsymbol{V}\widetilde{\subseteq}\mathbb{R}$ be finite sets. Then we can choose $\left\{{\boldsymbol{U}}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ and $\left\{{\boldsymbol{V}}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ AS closed sets such that $\left\{{\boldsymbol{U}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\widetilde{\cap} \left\{{\boldsymbol{V}}_{\{\boldsymbol{e}_{{2}}\}}\right\} \cong \widetilde{\emptyset}$ But for $\boldsymbol{A}, \boldsymbol{B}\subseteq \boldsymbol{E}$, we can't find any AS open sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that $\left\{{\boldsymbol{U}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\widetilde{\subseteq}\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, \boldsymbol{ }\boldsymbol{ }\left\{{\boldsymbol{V}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\widetilde{\subseteq}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \widetilde{\emptyset}.$ For this purpose, suppose that, there exist $\left\{{(\boldsymbol{R}-\boldsymbol{U})}_{\{\boldsymbol{e}_{{2}}\}}\right\}, \boldsymbol{ }\boldsymbol{ }\left\{{(\boldsymbol{R}-\boldsymbol{V})}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ be AS open sets such that $\left\{{\boldsymbol{V}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\widetilde{\subseteq}\left\{{(\boldsymbol{R}-\boldsymbol{U})}_{\{\boldsymbol{e}_{{2}}\}}\right\}$, $\left\{{\boldsymbol{U}}_{\{\boldsymbol{e}_{{2}}\}}\right\}\widetilde{\subseteq}\left\{{(\boldsymbol{R}-\boldsymbol{V})}_{\{\boldsymbol{e}_{{2}}\}}\right\}$ and $\left\{(\boldsymbol{R}-\boldsymbol{U})_{\left\{\boldsymbol{e}_{2}\right\}}\right\} \widetilde{\cap}\{(\boldsymbol{R}-$V){e₂}} = Ø. Therefore, we can obtain U∪V = $\mathbb{R}$. This result contradicts the finite selection of $\boldsymbol{U}$ and $\boldsymbol{V}$. Hence, $(\widetilde{\mathbb{R}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is not an Orhan space and so it is not a $\boldsymbol{P}_{{4}}$ space.

Theorem 5 Let $(\tilde X, \widetilde{ \tau }, E)$ be a $P_{{4}}$ space, then it is also a $P_{{3}}$ space.

Proof. Let $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ be a $\boldsymbol{P}_{{4}}$ space. Then it is both a $\boldsymbol{P}_{{1}}$ and an Orhan space from the Definition 35. Because $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is an Orhan space, for AS closed sets $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ and $\boldsymbol{K}\boldsymbol{*}\boldsymbol{D}$ such that $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\widetilde{\cap} \boldsymbol{K}\boldsymbol{*}\boldsymbol{D} \cong \widetilde{\emptyset},$ there exist AS open sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\widetilde{\subseteq}\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, \boldsymbol{ }\boldsymbol{K}\boldsymbol{*}\boldsymbol{D}\widetilde{\subseteq}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\cap \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} = {\emptyset }$. For this,

1. Let AS closed set $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C} = {\emptyset },$ then for $\boldsymbol{x}\in \boldsymbol{X}, \boldsymbol{a}\in \boldsymbol{E}; {\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{\notin}\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ and for ${\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{ \in }\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$, there exist $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\widetilde{\subseteq}\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}, \boldsymbol{ }\boldsymbol{K}\boldsymbol{*}\boldsymbol{D}\widetilde{\subseteq}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \widetilde{\emptyset},$ so $(\boldsymbol{X}, \boldsymbol{\tau }, \boldsymbol{E})$ is a Halime space from the Definition 32.

2. Let AS closed set $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\widetilde{\ne}\widetilde{\emptyset},$ then there exist ${\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{ \in }\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}$ and then there exist AS closed set $\boldsymbol{K}\boldsymbol{*}\boldsymbol{D}$ such that ${\boldsymbol{x}}_{\boldsymbol{a}}\widetilde{\notin}\boldsymbol{K}\boldsymbol{*}\boldsymbol{D}$ because $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\widetilde{\cap} \boldsymbol{K}\boldsymbol{*}\boldsymbol{D} \cong \widetilde{\emptyset}.$ Then $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is an Orhan space, so there exist AS open sets $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$ and $\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ such that $\boldsymbol{H}\boldsymbol{*}\boldsymbol{C}\widetilde{\subseteq}\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}$, $\boldsymbol{K}\boldsymbol{*}\boldsymbol{D}\widetilde{\subseteq}\boldsymbol{G}\boldsymbol{*}\boldsymbol{B}$ and $\boldsymbol{F}\boldsymbol{*}\boldsymbol{A}\widetilde{\cap} \boldsymbol{G}\boldsymbol{*}\boldsymbol{B} \cong \widetilde{\emptyset}.$ Therefore $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is also a Halime space. And since $(\mathit{\boldsymbol{\tilde X}}, \widetilde{ \boldsymbol{\tau } }, \boldsymbol{E})$ is both a Halime and a $\boldsymbol{P}_{{1}}$ space, it is a $\boldsymbol{P}_{{3}}$ space from the Definition 33.

Corolary 1 Any AS topological space $(\tilde X, \widetilde{ \tau }, E)$ is a $P_{{4}}$ space $\Rightarrow P_{{3}}$ space $\Rightarrow P_{{2}}$ space $\Rightarrow P_{{1}}$ space $\Rightarrow P_{{0}}$ space.

Proof. It is clearly seen that from the Theorem 5, the Theorem 4, the Theorem 2 and the Theorem 1 respectively.

4.   Conclusions

I defined an amply soft set. Amply soft sets use any kind of universal parameter set and initial universe (such as finite or infinite, countable or uncountable). Also, I introduced subset, superset, equality, empty set, and whole set about amply soft sets. And I gave operations such as union, intersection, difference of two amply soft sets and complement of an amply soft set. Then three different amply soft point such as amply soft whole point, amply soft point, and monad point were defined. Also examples related taking universal set as uncountable were given.

I defined a new soft topology, and it is called as a PAS topology. The PAS topology allows to write different elements of classical topologies in its each parameter sets. The classical topologies may be finite, infinite, countable or uncountable. This situation removes all of the boundaries in a soft topology and cause it to spread over larger areas. A PAS topology is a special case of an AS topology. For this purpose, I defined a new soft topology, and it is called as an amply soft topology or briefly an AS topology. I introduce AS open sets, AS closed sets, interior and closure of an AS set and subspace of any AS topological space. I gave parametric separation axioms which are different from T_i separation axioms. T_i questions the relationship between the elements of space itself while P_i questions the strength of the connection between their parameters.

In our next study, we will touch on the concept of a monad metrizable space ^[46] which we took the preliminary step in this study. A space concept in monad metrizable space will gain a new perspective. I will compute distance in real space between different topologies or metric spaces in different dimensions. First of all, I will define passing points between different topologies. And I will define monad metric.

Conflict of interest

The author declares that there is no conflict of interest regarding the publication of this paper.