Introduction to Non-Standard Neutrosophic Topology

: For the ﬁrst time we introduce non-standard neutrosophic topology on the extended non-standard analysis space, called non-standard real monad space, which is closed under neutrosophic non-standard inﬁmum and supremum. Many classical topological concepts are extended to the non-standard neutrosophic topology, several theorems and properties about them are proven, and many examples are presented.


Introduction to Non-Standard Analysis
The purpose of this study is to initiate for the first time a new field of research, called non-standard neutrosophic algebraic structures, and we start with non-standard neutrosophic topology (NNT) in this paper. Being constructed on the set of hyperreals, that includes the infinitesimals, NNT can further be utilized in neutrosophic calculus applications.
As a branch of mathematical logic, non-standard analysis [1] deals with hyperreal numbers, which include infinitesimals and infinities.
The introduction of infinitesimals in calculus has been debated philosophically in the history of mathematics since the time of G. W. Leibniz, with pros and cons. Many mathematicians prefer the epsilon-delta use in calculus concepts' definitions and theorems' proofs.
By the 1960s Abraham Robinson had developed non-standard analysis [2] in a more rigorous way. Besides calculus, non-standard analysis found applications in mathematical physics, mathematical economics, and in probability theory.
In 1998, Smarandache [3] used non-standard analysis in philosophy and in neutrosophic logic, in order to differentiate between absolute truth (which is truth in all possible worlds, according to Leibniz), and relative truth (which is, according to the same Leibniz, truth in at least one world). Let T represent the neutrosophic truth value, I the neutrosophic indeterminacy value, and F the neutrosophic falsehood value, with T, I, F ∈ [ − 0, 1 + ]. Then T (absolute truth) = 1 + = µ (1 + ), while T (relative truth) = 1. This is analogously for absolute falsehood vs. relative falsehood, and absolute indeterminacy vs. relative indeterminacy.
Then he extended [3] the use of non-standard analysis to neutrosophic set (absolute membership/indeterminacy/nonmembership vs. relative membership/indeterminacy/nonmembership respectively) and to neutrosophic probability (absolute occurrence/indeterminate occurrence/nonoccurence of an event vs. relative occurrence/indeterminate occurrence/nonoccurence of an event, respectively).
We next recall several notions and results from classical non-standard analysis [2] that are needed to defining and developing the non-standard neutrosophic topology.
Right Monad {for simplicity, denoted [2] by (a + ) or only by a + } was defined as: µ(a + ) = (a + ) = a + = + a = {a + x, x ∈ R + * |x is in f initesimal} (5) µ (a) is a monad (halo) of an element a ∈ R*, which is formed by a subset of numbers infinitesimally close (to the left-hand side, or right-hand side) to a.

Non-Standard Analysis's First Extension
In 1998, Smarandache [3] introduced the pierced binad. Pierced binad {for simplicity, denoted by ( − a + ) or onlya + } was defined as: This extension was needed in order to be able to do union aggregations of non-standard neutrosophic sets, where a left monad µ ( − a) had to be united with a right monad µ (a + ), as such producing a pierced binad: µ ( − a) ∪ µ (a + ) = N µ ( − a + ). Without this pierced binad we would not have been able to define the non-standard neutrosophic operators.

Non-Standard Analysis's Second Extension
Smarandache [4,5] introduced at the beginning of 2019 for the first time, the left monad closed to the right, the right monad closed to the left, and unpierced binad, defined as below: Left Monad Closed to the Right Right Monad Closed to the Left µ( Therefore, as seen, the element {a} has been included in both the left and right monads, and also in the pierced binad respectively. All monads and binads are subsets of R*. This second extension was done in order to be able to compute the non-standard aggregation operators (negation, conjunction, disjunction, implication, equivalence) in non-standard neutrosophic logic, set, and probability, and now we need them in non-standard neutrosophic topology.

The Best Notations for Monads and Binads
For any standard real number a ∈ R, we employ the following notations for monads and binads: where thus "m" written above the standard real number "a" means: a standard real number ( 0 , or nothing above), or a left monad ( − ), or a left monad closed to the right ( −0 ), or a right monad ( + ), or a right monad closed to the left ( 0+ ), or a pierced binad ( −+ ), or a unpierced binad ( −0+ ) respectively. Neutrosophic notations will have an index N associated to each symbol, for example: the classical symbol < (less than), becomes < N (neutrosophically less than, i.e., some indeterminacy is involved, especially with respect to infinitesimals, monads and binads).
Similarly for: ∩ and ∩ N , ∧ and ∧ N etc.

Non-Standard Neutrosophic Inequalities
We have the following neutrosophic non-standard inequalities (taking into account the definitions of infinitesimals, monads and binads): because where x is a (nonzero) positive infinitesimal. The converse also is true: Similarly: To prove it, we rely on the fact that ( − a + ) = ( − a) ∪ (a + ) and the number a is in between the subsets (on the real number line) − a = (a − ε, a) and a + = (a, a + ε), so: Conversely, it is neutrosophically true too: Also, Conversely, they are also neutrosophically true: Let a, b be two standard real numbers. If a > b, which is (standard) classical real inequality, then we have: No non-standard order relationship between a and ( − a + ), nor between a and ( −0 a + ).

Neutrosophic Infimum
Let (S, < N ) be a set, which is neutrosophically partially ordered, and let M be a subset of S. The neutrosophic infimum of M, denoted by inf N (M), is the neutrosophically greatest element in S, which is neutrosophically less than or equal to all elements of M.

Neutrosophic Supremum
Let (S, < N ) be a set, which is neutrosophically partially ordered, and let M be a subset of S. The neutrosophic supremum of M, denoted by sup N (M), is the neutrosophically smallest element in S, which is neutrosophically greater than or equal to all elements of M.
The neutrosophic infimum and supremum are both extensions of the classical infimum and supremum respectively, using the transfer principle from the real set R to the neutrosophic real MoBiNad set NR MB defined below.

Non-Standard Real MoBiNad Set
MoBiNad [3] etymologically comes from monad + binad. Let R and R* be the set of standard real numbers, and respectively the set of hyper-reals (or non-standard reals) that contains the infinitesimals and infinites.
The Non-standard Real MoBiNad Set [2] is built as follows: |where ε are infinitesimals, with ε ∈ R * ; ω = 1/ε are infinites, with ω ∈ R * ; and a are real numbers, with a ∈ R (26) or, with : either a > 0, or a ≤ 0 but b = p r (irreducible fraction) and p, r are positive integers with r an odd number}. (28)

Remark
The neutrosophic infimum and neutrosophic maximum are well-defined on the Non-standard Real MoBiNad Set NR MB , in the sense that we can compute inf N and sup N of any subset of NR MB .

Non-Standard Real Open Monad Unit Interval
Since there is no relationship of order between a anda + , not between a and ( −0 a + ), and we need a total order relationship on the set of non-standard real numbers, we remove all binads and keep only the open left monads and open right monads [we also remove the monads closed to one side].
where a is subunitary real number, and ε is an infinitesimal number. The non-standard neutrosophic unit interval ] − 0, 1 + [ M includes the previously defined ] − 0, 1 + [ as follows: where the index M means that the interval includes all open monads and infinitesimals between − 0 and 1 + .

General Monad Neutrosophic Set
Let U be a universe of discourse, and S ⊂ U be a subset. Then, a Neutrosophic Set is a set for which each element x from S has a degree of membership (T), a degree of indeterminacy (I), and a degree of non-membership (F), with T, I, F standard or non-standard real monad subsets or infinitesimals, neutrosophically included in or equal to the nonstandard real monad unit interval ] − , + [ M , or

Non-Standard Neutrosophic Set
Let us consider the above general definition of general neutrosophic set, and assume that at least one of T, I, or F (the neutrosophic components) is a non-standard real monad subset or infinitesimal, neutrosophically included in or equal to we have a non-standard neutrosophic set.

Non-Standard Fuzzy t-Norm and Fuzzy t-Conorm
Let T 1 , and T 2 , ∈] − 0, 1 + [ M , be nonstandard real numbers (infinitesimals, or open monads), or standard (classical) real numbers, such that at least one of them is a non-standard real number. T 1 and T 2 are non-standard fuzzy degrees of membership. Then one has: The non-standard fuzzy t-norms: The non-standard fuzzy t-conorms:

Aggregation Operators on Non-Standard Neutrosophic Set
Let T 1 , I 1 , F 1 and T 2 , I 2 , F 2 ∈ ] − 0, 1 + [ MB , be nonstandard real numbers (infinitesimals, or monads), or standard (classical) real numbers, such that at least one of them is a non-standard real number.
Non-Standard Neutrosophic Conjunction Non-Standard Neutrosophic Disjunctions Non-Standard Neutrosophic Complement/Negation We may use the notations C N or ¬ N for the neutrosophic complement.
Non-Standard Neutrosophic Inclusion/Inequality Let A, B ∈ P (X), if A ⊆ N B then B is called a neutrosophic superset of A. Non-standard Neutrosophic Equality Non-Standard Monad Neutrosophic Universe of Discourse We now introduce for the first time the non-standard neutrosophic universe.

Definition 1.
A general set U, defined such that each element x ∈ U has neutrosophic coordinates of the form x(T x , I x , F x ), such that T x represents the degree of truth-membership of the element x with respect to set U, I x represents the degree of indeterminate-membership of the element x with respect to the set U, and F x represents the degree of false-membership of the element x with respect to the set U; where T x , I x , and F x are non-standard or standard subsets of the neutrosophic real monad set NR M , but at least one of all of them is non-standard (i.e., contains infinitesimals, or open monads).

Single-Valued Non-Standard Neutrosophic Topology
Let U be a single-valued non-standard neutrosophic universe of discourse, i.e., for all x ∈ U, their neutrosophic components T x , I x , F x are single-values (either real numbers, or infinitesimals, or open monads) belonging to ] − 0, 1 + [ Definition 2. Let X be a non-standard neutrosophic subset of U. The neutrosophic empty-set, denoted by 0 N = ( − 0, 1 + , 1 + ), is a set Φ N ⊂ X whose all elements have the non-standard neutrosophic components equal to ( − 0, 1 + , 1 + ). The whole set, denoted by 1 N = (1 + , − 0, − 0), is a set W N ⊂ X whose all elements have the non-standard neutrosophic components equal to (1 + , − 0, − 0). Definition 3. Let X be a non-standard neutrosophic set. Let A = (T 1 , I 1 , F 1 ) and B = (T 2 , I 2 , F 2 ) be non-standard neutrosophic numbers. Then: A ∪ B = (sup N (T 1 , T 2 ), inf N (I 1 , I 2 ), inf N (F 1 , F 2 )) (42) Definition 4. Let X be a non-standard neutrosophic set. Let A(X) be the family of all non-standard neutrosophic sets in X. Let τ ⊆ A (X) be a family of non-standard neutrosophic sets in X. Then τ is called a Non-standard Neutrosophic Topology on X, if it satisfies the following axioms: (i) 0 N and 1 N are in τ.
(ii) The intersection of the elements of any finite subcollection of τ is in τ.
(iii) The union of the elements of any subcollection of τ is in τ.
The pair (X, τ) is called a non-standard neutrosophic topological space. All members of τ are called non-standard neutrosophic open sets in X. Example 1. Let X be a non-standard neutrosophic set. Let τ be the set consisting of 0 N and 1 N. Then τ is a topology on X. It is called the non-standard neutrosophic trivial topology. Example 2. Let X be a non-standard neutrosophic set. Let A be a non-standard neutrosophic set in X. Let τ = {0 N , 1 N , A}. Then it can be easily shown that τ is a topology on X.
Example 3. Let X be a non-standard neutrosophic set. Let A and B be non-standard neutrosophic sets in X such that A is a neutrosophic superset of B. Let τ = {0 N , 1 N , A, B}. Then since A ∩ B = B and A ∪ B = A we deduce that τ is a topology on X.

Example 4. Let X be a non-standard neutrosophic set. Suppose we have a nested sequence
of non-standard neutrosophic sets in X such that each A n is a neutrosophic superset of A n−1 for each n ∈ {1, 2, 3, . . . }.
Let τ = {0 N , 1 N , A n : n ∈N}. Then since A i ∩ N A j = A i and A i ∪ N A j = A j for each i less than j, we deduce that τ is a topology on X.
It is sufficient to prove that their non-standard neutrosophic finite intersection and the random union of elements from M 100 are in M 100 .
x m 1 ,n 1 ,p 1 ∩ N x m 2 ,n 2 , Definition 5. Let X be a non-standard neutrosophic set. Suppose that τ and τ' are two topologies on X such that τ ⊂ τ '. Then we say that τ' is finer than τ. Proof. See the above Example 8.
Theorem 3. Unlike in classical topology, the intersection of two non-standard neutrosophic closed sets is not necessarily a non-standard neutrosophic closed set. Moreover, the union of two non-standard neutrosophic closed sets is not necessarily a non-standard neutrosophic closed set.
is not non-standard neutrosophic open set in X, we have that C N A ∩ N C N B is not a non-standard neutrosophic closed set in X. Also, is not non-standard neutrosophic open set in X, we have that C N A ∩ N C N B is not a non-standard neutrosophic closed set in X.

General Remark 1.
Since the non-standard neutrosophic aggregation operators (conjunction, disjunction, complement) needed in non-standard neutrosophic topology, are defined by classes of operators (not by exact unique operators) respectively, the classical topological space theorems and properties extended (by the transfer principle) to the non-standard neutrosophic topological space may be valid for some non-standard neutrosophic operators, but invalid for other classes of neutrosophic aggregation operators.
Even worth, due to the fact that non-standard neutrosophic conjunction/disjunction/complement are, in addition, based on fuzzy t-norms and fuzzy t-conorms, which are not fixed either, but characterized by classes! {Similarly for fuzzy and intuitionistic fuzzy aggregation operators.} For example, the neutrosophic intersection/\ N can be defined in 2 ways: And In turn, the fuzzy t-norms (/\ F ) and fuzzy t-conorm (\/ F ) are also defined in many ways; for example I know at least 3 types of fuzzy t-norms: and 3 types of fuzzy t-conorms: therefore there exist at least 2·3·3 = 18 possibilities to define the neutrosophic t-norm (/\ N ). There exist at least the same number 18 of possibilities of defining the neutrosophic t-conorm (\/ N ). From these 18 possibilities of defining/\ N and \/ N for some of them the classical topological theorems extended to non-standard neutrosophic topology may be valid, for others invalid.

Definition 7.
Let (X, τ) be a nonstandard neutrosophic topological space. Let A be a non-standard neutrosophic set in X. Then the Non-standard Neutrosophic Closure of A is the intersection of all non-standard neutrosophic closed supersets of A, and we denote it by cl N (A). The Non-standard Neutrosophic Closure of A is the smallest nonstandard neutrosophic closed set in X that neutrosophically includes A. Proof. τ is a non-standard neutrosophic topology because: (X, τ) is a non-standard neutrosophic topological space. The non-standard neutrosophic sets A 1 , A 2 , A 3 are open sets since they belong to τ. A 2 is the non-standard neutrosophic complement of A 1 , or C N (A 2 ) = A 1 , therefore A 2 is a non-standard neutrosophic closed set in X.
A 3 is the non-standard neutrosophic complement of A 3 (itself), or C N (A 3 ) = A 3 , therefore A 3 is also a non-standard neutrosophic closed set in X.
A 2 and A 3 are nonstandard neutrosophic supersets of A 1 , since A 1 ⊂ A 2 and A 1 ⊂ A 3 . Whence, the Non-standard Neutrosophic Closure of A 1 is the intersection of its non-standard neutrosophic closed supersets A 2 and A 3 , or Definition 9. Let (X, τ) be a non-standard neutrosophic topological space, and let Y ⊆ N X be a non-standard neutrosophic subset of X. Then the collection τ Y = {O ∩ N Y, O ∈ τ} is a topology on Y. It is called the non-standard neutrosophic subspace topology and Y is called a non-standard neutrosophic subspace of X.
Example 11. In the same previous Example 9, let's take Y = A 3 ⊂ X, and the non-standard neutrosophic subspace topology Then Y is a non-standard neutrosophic topological subspace of X.
Definition 10. Let X and Y be two non-standard neutrosophic topological spaces. A map f: is said to be non-standard neutrosophic continuous map if for each non-standard neutrosophic open set A in Y, the set f −1 (A) is a non-standard neutrosophic open set in X.

Example 12.
Let X be a non-standard neutrosophic space. Let Y be a non-standard neutrosophic subspace of X. Then the inclusion map i: Y → X is non-standard neutrosophic continuous.
Example 13. Let X be a non-standard neutrosophic set. Suppose that τ and τ' are two non-standard neutrosophic topologies on X such that τ' is finer than τ. Then the identity map id: (X, τ') → (X, τ) is obviously non-standard neutrosophic continuous.

Conclusions
We have introduced for the first time the non-standard neutrosophic topology, non-standard neutrosophic toplogical space and subspace constructed on the non-standard unit interval]−0, 1+[ M that is formed by real numbers and positive infinitesimals and open monads, together with several concepts related to them, such as: non-standard neutrosophic open/closed sets, non-standard neutrosophic closure and interior of a given set, and non-standard neutrosophic product topology. Several theorems were proven and non-standard neutrosophic examples were presented.
Non-standard neutrosophic topology (NNT) is initiated now for the first time. It is a neutrosophic topology defined on the set of hyperreals, while the previous neutrosophic topologies were initiated and developed on the set of reals.
The novelty of NNT is its possibility to be used in calculus due to the involvement of infinitesimals, while the previous neutrosophic topologies could not be used due to lack of infinitesimals.
Thus, the paper has contributed to the foundation of a new field of study, called non-standard neutrosophic topology.
As future work, we intend to study more non-standard neutrosophic algebraic structures, such as: non-standard neutrosophic group, non-standard neutroosphic ring and field, non-standard neutrosophic vector space and so on.

Conflicts of Interest:
The authors declare no conflict of interest.