The purpose of the present work is to introduce and investigate a new class of sets called (i, j)-Ps– open sets, and use this class to define and study new classes of concepts in bitopology such as continuity and separation axioms.


At the beginning of this work, are define the class of (i, j)-Ps– open sets which is contained in the class of j-preopen and also contained in (i, j)-gp– open sets. It is shown that the family of (i, j)-Ps– open sets forms a supratopology on X. we prove that the family of (i, j)-Ps– open sets and j-preopen sets are identical where (X, τi) is semi-T1-spaces. Also noticed that the union of family of (i, j)-Ps– open sets are also (i, j)-Ps– open sets. We prove that the family of (i, j)-Ps– open sets imply the family of i-open sets where (X, τi) is locally indiscrete. It is shown that if the family of j-preopen sets in a bitopological space X forms a topology, then the family of (i, j)-Ps– open sets is also topology on X. It is also we noticed that if AYX and A is (i, j)-Ps– open set of X, then (i, j)-PsCly(A)(i, j)-PsCl(A), also if AYX and Y is i-regular open and j-regular open, then (i, j)-PsCl(A)Y=(i, j)-PsCly(A), and for any subset A of X we have (i, j)-PsD((i, j)-PsD(A))\A(i, j)-PsD(A). All results above are in chapter two.

In chapter three, we introduce some strong types of precontinuity and almost precontinuity in bitopological spaces. Moreover a type of contra precontinuity is defined. Several properties and characterizations of these functions are obtained in terms of various types of sets. If a function               :(X, τ1, τ2)(Y,σ1, σ2) is (i, j)-Ps – continuous then, it is almost (i, j)-Ps – continuous, but the converse is true Y is i-semi-regular. The concepts of contra (i, j)-Ps – continuous and j-contra precontinuity are equivalent for a function :(X, τ1, τ2)(Y,σ1, σ2) if (X, τi) is semi-T1-spaces. If a function :(X, τ1, τ2)(Y,σ1, σ2) is contra (i, j)-Ps – continuous, then it is j-contra continuous when (X, τj) is door spaces.

Finally, in chapter four, we define some separation axioms like T0, T1 and T2 spaces in bitopological spaces, we also defined R0, R1 and Urysohn spaces and we find the relation between them by using the new type of graph function called (i, j)-Ps – closed graph. We noticed that if (X, τ1, τ2) is (i, j)-Ps–Ti, then it is (i, j)-Ps–Ti-1, for i=1, 2. Also we shows that every subspace of an (i, j)-Ps–T1– space is also (i, j)-Ps–T1. We prove that a bitopological space (X, τ1, τ2) is (i, j)-Ps–T1 if the (i, j)-Ps– derived set of a point b is empty, for all b in X. We shows that every j-α-open subspace of         (i, j)-Ps–Urysohn is also (i, j)-Ps–Urysohn, where (X, τi) is semi-T1-spaces. Also we prove that a bitopological space (X, τ1, τ2) is (i, j)-Ps–R0 if and only if the (i, j)-Ps– closure of x is coincides with (i, j)-Ps– kernel of x, for all x in X.