Let A be a subset of a topological space (X, τ). The closure and the interior of A are denoted by Cl (A) and Int (A), respectively. A subset A of a topological space (X, τ) is said to be semi open  (Levine 1963), (resp. regular open  , preopen  ) if (resp. , ). A set A ⊂ X is said to be δ-open  if it is the union of regular open sets of a space X. The complement of semi open is called semi closed and the complement of a regular open (resp. δ-open) set is called regular closed (resp. δ-closed). The intersection of all δ-closed sets of (X, τ) containing A is called the δ-closure  of A and is denoted by . Recall that a set S is called regular closed if . A point is called a δ-cluster point  of S if for each regular open set U containing x. The set of all δ-cluster points of S is called the δ-closure of S and is denoted by . A subset S is called δ-closed if . The complement of a δ-closed set is called δ-open. The family of all δ-open sets of a space X is denoted by . The δ-interior of S is denoted by and it is defined as follows:
Functions and of course irresolute functions stand among the most important notions in the whole of mathematical science. Various interesting problems arise when one considers openness. Its importance is significant in various areas of mathematics and related sciences. In 1972, Crossley and Hildebrand  introduced the notion of irresoluteness. Many different forms of irresolute functions have been introduced over the years. In the present paper, we define and introduce some new class of topological transitive maps called topological semi-transitive, bi supra and study some of its properties.
Spacing, and type styles are built-in; examples of the type styles are provided throughout this document and are identified in italic type, within parentheses, following the example. Some components, such as multi-leveled equations, graphics, and tables are not prescribed, although the various table text styles are provided. The formatter will need to create these components, incorporating the applicable criteria that follow.
2. Preliminaries and Definitions
Norman Levin  has developed a few properties of semi-open sets and has defined semi-continuity in terms of them but has not developed a topology on them. This report is an attempt to carry his development further.
Definition 2.1. Recall that a set A in is said to be semi open (written S.O.) if there exists an open set O such that .
Theorem 2.2.  A subset A in a topological space X is called S.O. if .
Necessity: Let A be S.O.; then for some open set O. But and thus . Hence .
Sufficiency: Let . Then for , .
Theorem 2.3. Let be a collection of S.O. sets in a topological space X. Then is S.O. in X.
Definition 2.4.  Let X be a topological space and . A is called pre-open (P-open) in X Iff . A is called p-closed iff is P-open and it is easy to see that A is P-closed set iff .
Let X be a topological space and , . The Point x is called a P-limit point of A if each P-open set containing x, contains a point of A distinct from x.
We shall call the set of all P-limit points of A the P-derived set of A and denoted it by . Therefore iff for every P-open set G in X such that implies that .
3. Semi-Transitive Functions and Semi-Minimal
Let be a topological space. By a semi-system we mean a set of all semi-open subsets of X together with irresolute map. . A set is called f-invariant if .
Topologically semi-transitive and existence of a semi-dense orbit are two notions that play an important rule in every definition of semi-chaos.
1) Let be a topological space, a semi-system and irresolute function, then f is said to be a topologically semi-transitive function if for every pair of semi-open sets U and V in X there is a positive integer n such that .
2) Let be a topological space, and a continuous function, then f is said to be a topologically transitive function if for every pair of open sets U and V in X there is a positive integer n such that .
3) A semi-system is said to be semi-minimal if X does not contain any non-empty, proper, semi-closed f-invariant subset. In such a case we also say that the map f itself is semi-minimal.
Given a point x in a semi-system, , denotes its forward orbit (by an orbit we mean a forward orbit, and denotes its -limit set, i.e. the set of semi-limit points of the sequence .
Now, we introduce a new definition on minimal functions called semi-minimal and we study some new theorems associated with this new definition.
A semi-system is called semi-minimal if X does not contain any non-empty, proper, s-closed f-invariant subset. In such a case we also say that the map f itself is semi-minimal. Another definition of semi-minimal function is that if the orbit of every point x in X is semi-dense in X then the map f is said to be semi-minimal. Let us introduce and study an equivalent new definition.
Definition 3.2. (Semi-minimal) Let X be a topological space, SO (X) be the set of all semi-open sets in X and be irresolute function on X. Then is called semi-minimal system (or f is called semi-minimal function on X) if one of the three equivalent conditions hold:
1) The orbit of each point of X is semi-dense in X.
2) for each .
3) Given and a nonempty semi-open U in X, there exists such that .
Theorem 3.3. For the following statements are equivalent:
1) f is an semi-minimal function.
2) If E is an semi-closed subset of X with , we say E is invariant. Then or .
3) If U is a nonempty semi-open subset of X, then .
1) 2): If , let . Since A is invariant and semi-closed, i.e. so . On other hand .
Therefore A = X.
2) 3) Let . Since U is nonempty, A ≠ X and Since U is semi-open and f is irresolute, A is semi-closed. Also , so A must be ϕ. f is irresolute, A is semi-closed. Also , so A must be an empty set.
3) 1): Let and U be a nonempty semi-open subset of X. Since . Therefore for some n > 0. So .
Proposition 3.4. Let SO (X) be a semi-compact space without isolated point, if there exists a semi-dense orbit, that is there exists such that the set is semi-dense then f is topologically semi-transitive.
Let be such that is semi-dense. Given any pair U, V of semi-open sets, by semi-density there exists n such that , but is semi-dense implies that is semi-dense, there exists m such that . Therefore . That is . So f is topological semi-transitive.
Definition 3.5. A semi-system is called topologically semi-mixing if for any pair U, V of non-empty semi-open sets there exists such that for all n ≥ N we have . Topologically semi-mixing conveys the idea that each semi-open set U, after iterations of f, for each semi-open set V, for all n sufficiently large, intersects V.
Definition 3.6. 1) A map is called sr-homeomorphism if it is bijective and the map h and it’s inverse are irresolute.
2) Two semi-systems and are said to be topologically semi-conjugate if there is a sr-homeomorphism such that . We will call h a topological semi-conjugacy.
Now, we proceed to prove an important proposition:
Proposition 3.7. If and are topologically sr-conjugate. Then
1) f is topologically semi-transitive if and only if g is topologically semi-transitive;
2) f is semi-minimal if and only if g is semi-minimal;
3) f is topologically semi-mixing if and only if g is topologically semi-mixing.
Suppose f is semi-transitive. Let A, B be semi-open subsets of Y (to show for some ). and are semi-open subsets of X since h is an irresolute.
Then there exists some n > 0 such that since f is semi-transitive. Thus (as implies ).
Therefore, implies since is invertible.
Assume that and are topological semi-systems which are topologically sr-conjugated by . Thus, h is sr-homeomorphism (that is, h is bijective and thus invertible and both h and are irresolute) and that is, the following diagram commutes:
We show that if g is semi-minimal, then f is semi-minimal. We want to show that for any , is semi-dence. Since h is surjective, there exists such that . Since g is semi-minimal, is semi-dence. For any non-empty semi-open subset U of X, is an semi-open set in X since is irresolute because h is an sr-homeomorphism and it is non-empty since h is invertible. By semi-density of there exist k in N such that
Since h is s r-conjugacy; as implies so thus intersects U. This holds for any non-empty semi-open set U and thus shows that is semi-dense.
We only prove that if g is topologically semi-mixing then f is also topologically semi-mixing. Let U, V be two semi-open subsets of X. We have to show that there is N > 0 such that for any n > N, .
and are two semi-open sets since h is irresolute. If g is topologically semi-mixing then there is N > 0 such that for any n > M, . Therefore there exits . That is, and if and only if for and . Thus, since , so that, and we have that is . So, f is semi-mixing.
4. Bi Supra Transitive and Bi Supra Dense Orbits
We have studied the relation between definitions of bispra-dense orbit and topological bisupra-transitivity. Now let X be a bisupra space and bi-irresolute. For more knowledge about transitivity see   and  .
Consider the following two conditions:
(biTT) for every pair of nonempty bisupra-open sets U and V in X, there is a positive integer n such that .
(biDO) there is a point such that is bisupra-dense.
To study the dynamics of a self-map means to study the qualitative behavior of the sequences as n goes to infinity when x varies in X, where denotes the composition of f with itself n times.
A subset E of a bisupra space X is said to be of second category in X if E cannot be written as the countable union of subsets which are nowhere bisupra dense in X, i.e., if writing E as a union implies that at least one subset fails to be nowhere bisupra dense in X.
Definition 4.1. By a bisupra system we mean a pair , where X is a bisupra space, and is a bisupra irresolute function. The dynamics of the system is given by and the solution passing through x is the sequence where .
Definition 4.2. 1) Let , then the set is called an orbit of x under f and is denoted by , so is the set of points which occur on the orbit of x at some positive time, and the sequence is called the trajectory of x.
2) Let X be bisupra space, , be a sequence in X, and let . Then converges to x if for all bisupra open sets U containing x, there exists N such that for all n > N.
Any point with bisupra dense orbit is called a bisupra transitive point. A point which is not bisupra transitive is called bisupra intransitive.
3) (Bisupra Transitivity) Let X be a bisupra space with no isolated point. Given any two bisupra open sets G and H in X, there is a point and an n > 0 such that .
4) A system is said to be a bisupra mixing if for every pair G, H of non-empty bisupra open sets, if there exist N such that for all . We can show that bisupra mixing implies weak bisupra mixing. But the converse is not nesaccerly true.
Recall that a subset A of a set X is called a bisupra-open set if , where L in SO (X) and F in PO (X). Complements of bisupra-closed sets will be called bisupra-open.
Definition 4.3. A function is called bisupra-irresolute if the inverse image of each bisupra-open set is a bisupra-open set in X.
Let X be a bisupra space. The set of bisupra-irresolute functions on X is denoted by .
Definition 4.4. Let X be a topological space. A map f is said to have bisupra-dense orbit if there exists such that .
Definition 4.5. Let X be a bisupra space, be bisupra-irresolute map, then the set is called bisupra transitive set (rsp. transitive set) if for every pair of non-empty bisupra-open (rsp. open) sets G and H in X with and there is a positive integer n such that .
Proposition 4.6. Every bisupra transitive set is transitive set.
There are the main results of the paper.
Proposition 5.1. Every semi-transitive map is a transitive map as every, but the converse not necessarily true.
Proposition 5.2. Every semi-minimal map is a minimal map, but the converse not necessarily true.
Theorem 5.3. For the system the following statements are equivalent:
1) f is an semi-minimal map.
2) If E is a semi-closed subset of X with , we say E is invariant; then or .
3) If U is a nonempty semi-open subset of X, then .
Theorem 5.4. Every bisupra transitive map is transitive map.
First, thanks to my family for having the patience with me for having taking yet another challenge which decreases the amount of time I can spend with them. Specially, my wife who has taken a big part of that sacrifice, and also Amir, my son who helps me for typing my research. Thanks to all my colleagues for helping me for completing my research.
Conflicts of Interest
The authors declare no conflicts of interest regarding the publication of this paper.
 Kaki, M.N.M. (2018) Chaos, Mixing Weakly Mixing and Exactness. OALib Journal, 5, 1-6.