Surjective Identiﬁcations of Convex Noetherian Separations in Topological ( C , R ) Space

: The interplay of symmetry of algebraic structures in a space and the corresponding topological properties of the space provides interesting insights. This paper proposes the formation of a predicate evaluated P-separation of the subspace of a topological ( C , R ) space, where the P-separations form countable and ﬁnite number of connected components. The Noetherian P-separated subspaces within the respective components admit triangulated planar convexes. The vertices of triangulated planar convexes in the topological ( C , R ) space are not in the interior of the Noetherian P-separated open subspaces. However, the P-separation points are interior to the respective locally dense planar triangulated convexes. The Noetherian P-separated subspaces are surjectively identiﬁed in another topological ( C , R ) space maintaining the corresponding local homeomorphism. The surjective identiﬁcation of two triangulated planar convexes generates a quasiloop–quasigroupoid hybrid algebraic variety. However, the prime order of the two surjectively identiﬁed triangulated convexes allows the formation of a cyclic group structure in a countable discrete set under bijection. The surjectively identiﬁed topological subspace containing the quasiloop–quasigroupoid hybrid admits linear translation operation, where the right-identity element of the quasiloop–quasigroupoid hybrid structure preserves the symmetry of distribution of other elements. Interestingly, the vertices of a triangulated planar convex form the oriented multiplicative group structures. The surjectively identiﬁed planar triangulated convexes in a locally homeomorphic subspace maintain path-connection, where the right-identity element of the quasiloop–quasigroupoid hybrid behaves as a point of separation. Surjectively identiﬁed topological subspaces admitting multiple triangulated planar convexes preserve an alternative form of topological chained intersection property.


Introduction
The notion of relative size of sets in a topological space provides an interesting insight to the inherent structure of the space. Let X = {A i : i ∈ Z + } be a family of sets (without considering any specific topological structure at this point). A proper subset S ⊂ X is called saturated if every proper collection of subsets V ⊂ X\S is the family of disjoint and countable sets [1]. If X is a topological space and Cl(X) is a family of closed subsets of X then D ⊂ Cl(X) is called discrimination in X if X\∪ i (A i ∈ V) is uncountable for every countable family V ⊂ D [1]. The main aim of preparing the sets of discrimination in a topological space is to identify the size of the elements in a topological space. The size of elements of a topological space determines the structure of the underlying space as well as the nature of convexity of subspaces and its Baire categorical meagerness in terms of measure, if any. For example, if U denotes a universe set then the nano topological space on a set X ⊆ U is defined as τ R (X) = {φ, U, L R (X), U R (X), B R (X)} where L R (X), U R (X) and B R (X) signify the lower approximation, upper approximation and the boundary region of set X ⊆ U [2]. The nano topological space is a space containing the sets of highly reduced size with at most five elements [2]. However, note that the proposed constructions in this paper are generalized in nature and as a result it does not consider any notion of size of a set in the topological (C, R) space.
Interestingly, a new topology can be constructed from a given topology by employing the irreducible sets. For example, the Scott topology on a poset is formulated from the Alexandroff topology, which is based on the notion of the Scott irreducible family of open sets [3]. Note that the Alexandroff topology τ(p) on a poset p is constructed by employing all the upper subsets of a set in the directed sets partially ordered by p. There is a relationship between the relative openness of a set in Scott topology and Alexandroff topology. A set A ⊂ X is open in Scott topology if, and only if, it is also open in Alexandroff topology. It is known that if the topological space is a discrete space of Alexandroff variety then there exist Alexandroff topologies given by G 0 and G 1 admitting topological groupoids [4]. Moreover, in this case the topological groupoids are in order-preserving poset category and can be associated to the monoid M = N/ ∼ [4].
This paper proposes the topological P-separation of subspaces in a topological (C, R) space based on the predicate evaluation. The separation is an upper Noetherian variety, and it forms a planar convex triangulation within a respective convex component. The algebraic as well as topological properties of the triangulated planar convex and the corresponding surjective identification through local homeomorphism are presented in this paper. A brief description of topological algebraic sets and manifolds are presented in Section 1.1 to enhance familiarity of the field to the wider audience of readers. The motivation of this work and the contributions made are presented in Section 1.2. In this paper the symbols C, R, Z and N represent sets of complex numbers, extended real numbers, integers and natural numbers, respectively.

Topological Algebraic Sets and Manifolds
The combinatorial topological properties of algebraic sets are important to understand the semi-algebraic triangulations of a bounded algebraic set. If V ⊂ R n is a bounded algebraic set, then there is a semi-algebraic triangulation of V ⊂ R n given by Φ :|K|→ V [5]. It is interesting to note that Alexandroff compactification can be admitted in the algebraic set V ⊂ R n because it is a bounded algebraic set. Moreover, the semi-algebraic triangulation of V ⊂ R n allows the possibility of stratification of V ⊂ R n by a family of polynomials refining the triangulation [5]. Suppose we consider an irreducible 3-manifold M 3 of the compact and orientable variety. The fundamental group of M 3 can be represented by π 1 (M 3 ). The nature of π 1 (M 3 ) is the type of SL(2, C), which is a homeomorphism of π 1 (M 3 ) to SL(2, C) [6]. It is important to note that the space of representation of fundamental group π 1 (M 3 ) in the SL(2, C) structure is a complex algebraic set [6]. If ρ is a representation of the fundamental group π 1 (M 3 ) of a 3-manifold in PSL(2, C) then ρ(π 1 (M 3 )) becomes an Abelian group and any two non-trivial elements of ρ(π 1 (M 3 )) have the same fixed-point in the corresponding sphere [6]. If we consider that M 3 is a Haken manifold, then the image ρ(π 1 (M 3 )) is contained in a cyclic group structure. The result of Nash isotopy shows that if M ⊂ R n is a compact smooth manifold then there is a real algebraic set V ⊂ R n such that a sheet of V ⊂ R n is not a connected component of V ⊂ R n [7].

Motivation and Contributions
The fundamental groupoids (i.e., groupoids in view of algebraic topology) are a general groupoid algebraic structure if the topological space is not a locally contractible space. For example, the fundamental groupoids of one-dimensional topological spaces are the extensions of corresponding fundamental groupoids of graphs through the reduced representations of path-homotopy classes by employing reparameterization [8]. It is important to note that the extension is infinitary in this case. Interestingly, if the fundamental group π(X, x 0 ) in the topological space (X, τ X ) is Abelian then the homotopically Hausdorff property becomes equivalent to the transfinite π 1 − products in (X, τ X ) [8]. Note that in this case the topological space (X, τ X ) is considered to be a path-connected and metrizable space admitting universal cover. It is mentioned earlier in this paper that a multidimensional bounded algebraic set admits Alexandroff compactification and it can have semi-algebraic triangulation as well as stratification by a family of polynomials [5].
The topological (C, R) space (X, τ X ) is a path-connected and multidimensional quasinormed topological space [9]. Moreover, it is shown earlier that the topological (C, R) space (X, τ X ) admits homotopically Hausdorff property by employing the discrete-loop homotopy classes in the locally dense subspaces [10]. Note that a pseudocompact Baire set in any topological space is a zero-set whereas the realcompact as well as complete Baire set in the corresponding topological space is a realcompact as well as complete subspace [11]. In the case of topological (C, R) space, the locally dense subspace is a compactible Baire space (not a meager category). Moreover, the Nash isotopy theory provides an indication that the disconnected component of a real algebraic set can exist under a specific condition [7]. Hence, the motivating questions are: (1) is it possible to generate any planar and finite variety of convex triangulation of disconnected subspaces in a topological (C, R) space (X, τ X ) and, (2) what are the algebraic as well as topological properties of such triangulated planar subspaces in isolation on one topological space and under surjective identification in another topological space? Moreover, the question is: how to formulate a predicate evaluated separation in such topological structures? Furthermore, the restriction to maintain in this case is to preserve local homeomorphism during identification in the codomain. This paper addresses these questions in relative details.
The main contributions made in this paper can be summarized as follows. The concept of completely P-separated subspace of a topological (C, R) space is introduced generating multiple path-connected components. A set of Noetherian P-separated subspaces are formulated within the respective P-separated components and the corresponding P-separated triangulated planar convexes are formed. The vertices of planar convexes are not interior to the Noetherian subspace and these vertices form oriented multiplicative group algebraic structures. The P-separation points are interior to the locally dense triangulated convexes. The surjective identification of two triangulated planar convexes give rise the quasiloop-quasigroupoid algebraic variety. The algebraic as well as topological analysis of the properties of the algebraic structures and the locally homeomorphic subspaces under surjective identification are presented in this paper in detail. It is shown that the right-identity element of the quasiloop-quasigroupoid algebraic variety in a topological (C, R) space is a point of separation preserving the symmetry of distribution of elements and the path-connection in the identified topological subspace. Moreover, the topological property of surjectively identified subspace shows that it retains path-connectivity while the identified triangulated subspace becomes non-convex preserving an alternative form of topological finite intersection property.
The rest of the paper is organized as follows. The preliminary and existing concepts are presented Section 2 in brief for clarity and completeness. The definitions and descriptions of Noetherian P-separation and properties of a CR-quasigroupoid are presented in Section 3. The analyses of algebraic properties are presented in Section 4 in detail. Section 5 presents the algebraic as well as topological properties of surjective identification of triangulated Noetherian convexes. Finally, Section 6 concludes the paper.

Preliminary Concepts
Let (X, τ X ) be any arbitrary topological space and A ⊂ X be a subset such that A = φ and the symbol ⊕ represents XOR operation. The subset A ⊂ X is called as . If a topological space (X, τ X ) is T 0 then the partial order p ≡≤ is called a specialization order if (x ≤ y) ⇔ (x ∈ {y}) . A poset p is called upper Noetherian if it satisfies the ascending chain condition p ≡≤ (or, equivalently it is called as lower Noetherian if it maintains the descending chain condition p ≡≥). The subset A ⊂ X is called as condition is maintained by following the improper subset relation. The τ X − irreducible sets of a topological space (X, τ X ) are denoted as ∇(X). The τ X − irreducible sets of a topological space maintain the following properties: The groupoid is a generalization of a group algebraic structure where the group operation is a partial function. Often the groupoids are considered as an algebraic structure with many identities, which support topological monodromy and topological groupoids isomorphism [12]. A non-trivial groupoid algebraic structure can be equipped with binarytype morphing structure. For example, a qubit groupoid structure has the forward and reverse transformation operations given as α, α −1 between two binary states {+, −} [13]. A generalized definition of a groupoid is represented by an algebraic structure given as a tuple G = G 0 , G 1 , m, d, r, u, (.) −1 such that [14]: The topological groupoids can be placed in a poset category preserving the order relation. In general, a groupoid in poset category is called an Alexandroff (topological) groupoid. Note that, there is a relationship between an Alexandroff groupoid and other varieties of topological groupoids. If G is an Alexandroff groupoid and the corresponding groupoids G 0 and G 1 are equipped with Alexandroff topology preserving the poset-order algebraic relation, then G is a topological groupoid. In this case, the partial ordering relation is an upper Noetherian type where the open sets are upward closed subsets within the respective topological space. Let the set E = {(a k , s k ) : a k ∈ Z, s k ∈ S} be denoting the set of ordered pairs where S is set of left-actions. The etale poset over topological groupoid G is given by π : E → G 0 with right-action on G represented as α : E × G0 G 1 → E preserving the partial order relation. Note that α : E × G0 G 1 → E maintains the axioms of groupoid actions. If D g is a discrete group and p is a poset then G = (p, D g ) is an action groupoid with respect to right-action. In this case the Alexandroff groupoid is defined as G 0 = p and G 1 = p × D g . A locally star topological groupoid is represented as a pair (G, X), where G is a groupoid, X is a topological space and G x is a local star of x [12]. It maintains the following set of properties: (I) all identities of G (given as I G ) are in X, Note that a star topological groupoid is a groupoid such that each G x has a topology preserving the homeomorphisms under right and left translation operations. Moreover, the transitive groupoids are also called as the connected groupoids, whereas the covering morphism between two groupoids is a bijective variety [15].

Noetherian P-Separation and CR-Quasigroupoid
First, we present the concept of complete separation of a topological subspace inline to the concept of topological separation, where the separation is not a discrete variety indicating that the separations are not formed by single-point closed subspaces. In this case, the complete separation of a subspace generates multiple components. Let (X, τ X ) be a topological (C, R) space and Y ⊂ X be a corresponding subspace. If it is true that ∃n ∈ Z + , 1 < n < +∞ such that Y = ∪ 1≤i≤n (X i ⊂ X) and X i ∩ X k = φ if i = k then the topological subspace Y ⊂ X is called a finite and complete separation in (X, τ X ). Once the finite and complete separation of a topological subspace is constructed, it is possible to establish the additional constrains on it. The definitions related to complete P-separation, its Noetherian property, convexity and triangulation are presented in Sections 3.1-3.4. The formulation of resulting CR-Quasigroupoid algebraic structure is defined in Section 3.5.

Complete P-Separation
then Y ⊂ X is called a completely P-separated topological subspace. If we maintain that n ∈ Z + , 1 < n < +∞ then the subspace Y ⊂ X is a countably finite P-separation in (X, τ X ). Example 1. Suppose we consider a continuous function f : [0, 1] → X in the topological (C, R) space (X, τ X ) and the corresponding 2D planar real subspace within X is denoted as Pl 0 ⊂ X such that ∀x i ∈ Pl 0 , Im(π C (x i )) = 0. Note that π C : X → C is the complex projective subspace and Im(z ∈ C) ∈ R according to the standard convention generating a non-compact Pl 0 planar subspace. Let the zero sets of f :

Noetherian P-Separated Subspaces
Note that in the corresponding Noetherian subspace x i ∈ A k , P(x i ) = 1 predicate evaluation is continued to be maintained. The complete P-separated subspace Y ⊂ X is defined as Noetherian P-separated if the aforesaid condition is attained in each X i ⊂ Y.

Noetherian Triangulated Convex
Note that the Noetherian triangulation maintains the condition that ∃x i ∈ A k , P(x i ) = 1. As a result, the Noetherian P-separated triangulated planar convex is generated by vertices given in It is important to note that the topological (C, R) space is dense and a corresponding Noetherian triangulated planar convex B i ∆ is locally dense and not a meager category (i.e., it maintains the condition that

Identifications of Noetherian Convexes
Let B i ∆ and B k ∆ be two Noetherian P-separated planar convexes in respective topological subspaces generated by Remark 1. Note that the identification function f : X i ∪ X k → W is a surjection. Moreover, the local homeomorphism property of embedding ensures that the resulting subspace f (X i ∪ X k ) ⊂ W is a convex subspace if, and only if, X i ⊂ Y, X k ⊂ Y are also convex. Furthermore, it is important to note that f (∆ 3 i ) ∪ f (∆ 3 k ) ⊂ W is a planar but not a convex embedding in (W, τ W ) under surjection.
The topological (C, R) space is suitable to establish various abstract algebraic structures. Earlier it is reported that topological group structures can be formed within the topological (C, R) space under certain conditions. However, the Noetherian P-separations and associated planar convexes under surjective identification enable the formation of a quasiloop-quasigroupoid structure in the surjectively identified triangulated planar convexes. First, we present the algebraic construction of a quasigroupoid in a subset A ⊂ X of a topological (C, R) space. Note that the subset A ⊂ X is considered to be an arbitrary subspace to establish the algebraic structure without enforcing any subspace topology on it at this point.

Quasigroupoid in (C, R) Space
Let A ⊂ X be a countable set in a topological (C, R) space (X, τ X ) and the binary variety of an abstract algebraic operation is denoted in such space as * ∆ : A 2 → A . An algebraic CR-quasigroupoid structure of order |A|= n in the corresponding topological (C, R) space is represented as G crq (X, n), where the structure G crq (X, n) must satisfy the following axioms.
It is important to note that the partial function * ∆ : A 2 → A is closed but not total in A ⊂ X. Moreover, the G crq (X, n) structure does not admit commutativity including the identity element e A . The identity element is a right-identity variety and as a result it is sensitive to the order of operation because x a * ∆ e A = e A * ∆ x a condition is maintained within G crq (X, n). However, the identity element commutes with itself as a stationary point. Moreover, the algebraic CR-quasigroupoid structure includes inverse elements, where the algebraic operation between an element and its inverse commutes.

Remark 2.
The algebraic G crq (X, n) structure is distinct as compared to an n− order algebraic groupoid structure G o (n). The reason is that a G o (n) not necessarily always admits binary operation * ∆ and the algebraic operation * ∆ preserves associativity in G o (n). On the other hand, G crq (X, n) does not preserve associativity property and the algebraic operation is strictly a binary variety. The similarity between G crq (X, n) and G o (n) is that both structures maintain partial function which is not total. If L o (n) is an algebraic loop, then G crq (X, n) is also a quasiloop structure. The comparison of properties of L o (n), G o (n), semigroup and G crq (X, n) is presented in Table 1. Before proceeding further into detailed algebraic as well as topological analysis, we first show that the structure G crq (X, n) is indeed a quasiloop-quasigroupoid variety as presented in the following proposition. Proposition 1. If L o (n) is an algebraic loop and G o (n) is an algebraic groupoid then G crq (X, n) is a quasiloop-quasigroupoid hybrid variety.
Proof. Let L o (n) be an algebraic loop and G o (n) be an algebraic groupoid of order n in A ⊂ X. The partial function * ∆ : A 2 → A is total only in L o (n) by definition. Additionally, the structure G o (n) preserves associativity of * ∆ : A 2 → A but L o (n) does not. However, the L o (n) and G o (n) algebraic structures always admit identity and inverse, where both commute. The algebraic CR-quasigroupoid structure G crq (X, n) preserves properties of right-identity and inverse but does not admit complete commutativity of identity element with respect to partial function * ∆ : A 2 → A . The identity element is only self-commuting as a stationary point and the algebraic operation is non-commutative for the rest of the elements in G crq (X, n). Moreover, the structure G crq (X, n) does not support associativity and the partial function is not total in G crq (X, n). Hence, the CR-quasigroupoid G crq (X, n) in a topological (C, R) space is a hybrid variety of quasiloop and quasigroupoid generated from L o (n) and G o (n), respectively.

Algebraic Properties of CR-Quasigroupoid
The algebraic and topological analyses presented in this paper consider that the P-separation is a complete and countable finite variety. In the algebraic analysis presented in Sections 4.1 and 4.2, the topological space (

Algebraic Analysis of CR-Quasigroupoid
In this section, the algebraic analysis of a G crq (X, n) variety is presented within an identified topological (C, R) space (X, τ X ) where n = 5 due to surjective identification of two Noetherian P-separated triangulated convex planar subspaces. Let a finite countable set be given as {x i : i = a, b, c, d} ∪ {e A } ⊂ A ⊂ X such that {x i } ∈ τ X is closed in the Hausdorff topological space. According to the definition of a G crq (X, n), we can derive the following equations.
Note that the partial function * ∆ : A 2 → A is not total because the algebraic operations 5). It is known that in a fibered topological (C, R) space a composite algebraic operation (+T) can be admitted, where the function T : X → X is a linear and finite translation operation. Let us consider that G crq (X, 5) can be constructed by employing * ∆ ≡ (+T) in (X, τ X ). This results in the following set of equations.
Note that if T(e A ) = e A signifies a fixed and unique right-identity element in G crq (X, 5) then it can be concluded that e A (+T)e A = e A . Thus it is evident from the set of equations that G crq (X, 5) symmetrically generates the elements with respect to the stationary identity element e A , where the surjectively identified triangulation f (∆ 3 i ) ∪ f (∆ 3 k ) is not a convex in X.

Analysis of Identity at Origin
The analysis of behavior of identity element at the origin of a topological (C, R) space and the resulting structural properties of G crq (X, 5) are presented in this section. Recall that x 0 = (z 0 , 0) is the origin of a topological (C, R) space, where z 0 ∈ C is the Gauss origin. If we consider that x 0 ≡ e A in G crq (X, 5) is the right-identity as well as a stationary point, then it results in the following set of conditions to be maintained in G crq (X, 5).
(4) Remark 3. It is important to observe that if we consider that identity is located at x 0 = (z 0 , 0) in G crq (X, 5) then (e A ) −1 = ((z 0 ) −1 , (r a ) −1 ) and the inverse of identity element is to be specifically defined as (e A ) −1 = e A . Note that if we define (e A ) −1 = e A then the properties of a stationary point delegated to the right-identity at origin is not violated because T(x 0 ) = x 0 preserves the translation invariance of origin of a topological (C, R) space. Moreover, the identity element located at origin x 0 = (z 0 , 0) with (e A ) −1 = e A and the T(x 0 ) = x 0 translation invariance condition successfully preserves the properties of right-identity element at origin as presented in the following derivation.
The further derivations by following the presented definitions and the associated conditions lead to the following observations.
The observations drawn from the above conditions can be further generalized as

Analysis of Noetherian and Surjective Identification
The algebraic as well as topological properties presented in this section consider that f : X → W is a surjective identification from a Noetherian P-separated topological (C, R) space (X, τ X ) to the dense topological (C, R) space (W, τ W ). The algebraic analysis is presented in Section 5.1 and the topological analysis is presented in Section 5.2.

Analysis of Topological Properties
The analyses of topological properties are presented in this section considering the existence of a surjective identification function between two topological (C, R) spaces maintaining the local homeomorphism. First, we show that there is a fiber in the surjectively identified and fibered topological (C, R) space which preserves the symmetry of G crq (W, 5) with respect to that corresponding fiber.
Proof. Let (X, τ X ) be a topological (C, R) space and Y ⊂ X be a P-separated subspace. Suppose X i ⊂ Y and X k ⊂ Y are two Noetherian P-separated subspaces with respective triangulated planar convexes B i ∆ and B k ∆ . Let us consider (W, τ W ) to be a topological (C, R) space such that f : (X, τ X ) → (W, τ W ) is a local homeomorphism maintaining hom(X i , f (X i )) and hom(X k , f (X k )) conditions. If f : Moreover, the Noetherian Pseparated subspaces are disjoint as Note that the surjective identification maintains W i ∩ W k = φ. Furthermore, the local homeomorphism preserves the condition that

Corollary 1.
It is relatively straightforward to conclude that the fiber {z e } × R symmetrically Recall that the surjectively identified two triangulated planar convexes fail to retain convexity within the identified space. However, the path-connection property is retained successfully under the surjective identification. This topological property is presented in the following theorem.
Proof. Let X i and X k be two Noetherian P-separated subspaces in (X, τ X ) such that X i ∩ X k = φ. Suppose X i ⊂ X and X k ⊂ X are locally dense subspaces in X, where A i ⊂ X i and A k ⊂ X k are Noetherian containing triangulated planar convexes B i ∆ and B k ∆ , respectively. Recall that A i ⊂ X i and A k ⊂ X k are closed dense subspaces such that is not a meager category in (W, τ W ) according to Baire categorization and the algebraic structure

Remark 5.
The aforesaid observation can be further generalized by following the properties of dense subspaces under surjective identification saying that f (X i ∪ X k ) is at least connected in dense (W, τ W ). Moreover, if we take a continuous function p : Interestingly, the retention of path-connection property under surjective identification can be further extended by employing the chain of a P-joined convexes maintaining finite intersection property. The following lemma presents this observation.

Lemma 2.
If Λ X = {X i ⊂ Y : i ∈ Z + } is a set of Noetherian P-separated subspaces, then the surjective identification f : Λ X → W preserves path-connection if, and only if, Λ X = {X i ⊂ Y : i ∈ Z + } maintains a chained finite intersection property given as ∀X i ∈ Λ X , ∃X k ∈ Λ X : X i ∩ X k = φ.
Proof. Let Λ X = {X i ⊂ Y : i ∈ Z + } be a Noetherian P-separated subspace Y ⊂ X and the separations are finite as well as countable such that i ∈ (1, +∞) maintaining the overall complete Noetherian separation ∩ m∈ [1,i] X m = φ. Suppose we consider a relaxed variety of finite intersection property (indicating as a finite intersection property under chained P-join) such that ∀X i ∈ Λ X , ∃X k ∈ Λ X : X i ∩ X k = {x ik } = φ in Y ⊂ X. Note that in this case it is true that ∀X i ∈ Λ X , ∃x i ∈ X i : P(x i ) = 1 and as a result it can be further concluded that P(x 1 ) ∧ P(x 2 ) ∧ P(x 3 ) ∧ . . . . . . ∧P(x i ) = 1 in ∪ m∈ [1,i] X m . If we take a surjective identification f : Λ X → W in a topological (C, R) space (W, τ W ), then there is a continuous function given as p : 1]). Hence, the surjectively identified subspace is path connected by p(.) in (W, τ W ) due to the formation of a chained P-join.
Recall that a topological (C, R) space is dense and as a result a finite linear fiber translation function can be admitted within the non-compactly fibered space. The finite linear fiber translation function in the surjectively identified space successfully recovers the P-separation property in the domain through the pre-image. This interesting observation is presented in the following theorem.

Theorem 5.
If the function f : (X, τ X ) → (W, τ W ) is a surjective identification and T : W → W is a finite linear fiber translation then P( f −1 (w i )) = P( f −1 (w k )) if T n (w i ) = w k , where n ∈ Z + , n < +∞, T n = T and f −1 (.) denotes pre-image.
Proof. Let (X, τ X ) be a topological (C, R) space containing a finitely countable Noetherian P-separated subspaces and (W, τ W ) be a topological space with the corresponding surjective identification f : (X, τ X ) → (W, τ W ) . Suppose the subset {x i , x k } ⊂ X i ∪ X k represents respective P-separation points in the Noetherian separation . Note that (W, τ W ) is Hausdorff and as a result {w i }, {w k } are closed and separable in (W, τ W ) because ∃N i ⊂ W, w i ∈ N i and ∃N k ⊂ W, w k ∈ N k such that N i ∩ N k = φ, where N i , N k are respective open neighborhoods. Recall that in the fibered topological (C, R) space (W, τ W ), the {z i } × R and {z k } × R are two non-compact fibers at w i and w k , respectively. If we consider a linear and finite fiber translation T : W → W such that ∀w a ∈ W, T((z a , R)) = (T(z a ), R) then T n (w i ) = w k for some n ∈ Z + , 1 < n < +∞ where T n = T and T(R) = R. As a result, we can conclude that f −1 (T n (w i )) = x k ∈ B k ∆ in (X, τ X ). Hence, it proves that P( f −1 (w i )) = P( f −1 (w k )) under the non-compact fiber translation.

Corollary 2.
It is relatively straightforward to observe that if B i ∆ ⊂ A i then B i ∆ is locally dense in A i and as a result B i ∆ : i ∈ Z + is a family of countable locally dense convex sets which are P-separable in Y ⊂ X.

Conclusions
The Noetherian P-separated subspaces in a topological (C, R) space admit respective triangulated planar convexes supporting the groups of order three. The surjective identification of two triangulated planar convexes generates a quasiloop-quasigroupoid hybrid algebraic structure. The algebraic structure admits right-identity element and the identified subspaces maintain local homeomorphism. There exists a fiber at right-identity element in the surjectively identified topological space maintaining the symmetry of the distribution of elements of quasiloop-quasigroupoid generated by two Noetherian Pseparated triangulated planar convexes. Moreover, the bijection from the prime ordered quasiloop-quasigroupoid structure to a countable as well as completely separated set forms a cyclic group in the codomain. The P-separation points are interior to the locally dense triangulated planar convexes. However, the vertices of the triangulated planar convexes are not interior to the respective Noetherian open subspaces. The Noetherian P-separated convexes form multiple connected components within the topological (C, R) space. A surjectively identified topological subspace admitting multiple triangulated planar convexes generates an alternative form of topological chained intersection property. The finite linear translation operation in an identified subspace containing the triangulated convexes allows the recovery of P-separation points in the corresponding Noetherian completely separated topological subspace through pre-image. The locally dense Noetherian P-separated spaces maintain path connection under surjective identification if the space in codomain is also dense and the identification maintains local homeomorphism. A continuous path between the surjectively identified triangulated planar convexes introduces the concept of P-join within the identified topological subspace under a predefined predicate evaluation. Acknowledgments: Author likes to thank anonymous reviewers and editors for their valuable comments and suggestions.

Conflicts of Interest:
The author declares no conflict of interest.