**1. Introduction**

Several applications of algebraic structures can be found in mathematics. Generalizing the ideals of algebraic structures and ordered algebraic structures plays an important role, making them available for further study and application. Mathematicians studied bi-ideals, quasi-ideals, and interior ideals during 1950–1980. However, during 1950–2019, it was only mathematicians who studied their applications. In fact, the notion of one-sided ideals of rings and semigroups can be regarded as a generalization of the notion of ideals of rings and semigroups, as is the notion of quasi-ideals of semigroups and rings. In general, semigroups are generalizations of rings and groups. In semigroup theory, certain band decompositions are useful for studying semigroup structure. A new field in mathematics could be opened up by this research, one that aims to use semigroups of bi-ideals of semirings with semilattices that are additively reduced. The many different ideals associated with Γ-semigroups [1] and Γ-semirings [2] have been described by several researchers. Partially ordered relation " ! " satisfies the conditions of reflexivity, antisymmetry, and transitivity. There are different classes of semigroups and Γ-semigroups based on bi-ideals that have been described by researchers in [3–6]. Munir [7] introduced new ideals in the form of *M*-bi-ideals over semigroups in 2018. An ordered semigroup is a generalization of a semigroup with a partially ordered relation constructed on a semigroup, so that the relation fits with the operation. An algebraic structure such as the ordered Γ-semigroup was introduced by Sen et al. in 1993 [8] and has been studied by several authors [9–12].

For an ordered semigroup S and subsemigroup A of S, A*<sup>m</sup>* = A.A ... A(*m* − *times*), where *m* is a positive integer. Clearly, for any subsemigroup A of ordered semigroup S, A*<sup>n</sup>* ⊆ A for all positive integers *n*, which are similarly right case. Hence, A*<sup>r</sup>* ⊆ A*<sup>t</sup>* for all positive integers *r* and *t*, such that *r* ≥ *t*, but the converse is not true. As a generalization

**Citation:** Palanikumar, M.; Jana, C.; Al-Shanqiti, O.; Pal, M. A Novel Method for Generating the *M*-Tri-Basis of an Ordered Γ-Semigroup. *Mathematics* **2023**, *11*, 893. https://doi.org/10.3390/ math11040893

Academic Editors: Irina Cristea and Hashem Bordbar

Received: 4 January 2023 Revised: 6 February 2023 Accepted: 6 February 2023 Published: 9 February 2023

**Copyright:** © 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https:// creativecommons.org/licenses/by/ 4.0/).

of the bi-ideal of semirings and semigroups, a tri-ideal of semirings and semigroups can be characterized as a generalization of the bi-ideal. In the context of Γ-semigroups, an ordered Γ-semigroup is an extension of the Γ-semigroup. In contrast to the notion of the tri-ideal of semigroups, the notion of the tri-ideal of an ordered semigroup is a general form of the notion of the tri-ideal of semigroups. In semigroup theory, the *M*-tri-ideal is a generalization of the tri-ideal. Similarly, an ordered *M*-tri-ideal is a generalization of an ordered tri-ideal. In this paper, we describe the basic properties of the *M*-tri-basis from an algebraic standpoint. The fact that semigroups can be generalized to Γ-semigroups and Γ-semigroups to ordered Γ-semigroups is a result of these facts. It was work by Jantanan et al. that introduced the concept of bi-basis of ordered Γ-semigroups in 2022. We further describe the relationship between partial order and bi-basis [13]. As recently discussed in Palanikumar et al. [14–16], algebraic structures such as semigroups, semirings, ternary semigroups, and ternary semirings are all ideals and the generators of these structures are ideals. Rao introduced the tri-ideals of semigroups and semirings in [17,18]. Our paper extends a bi-basis of an ordered Γ-semigroup into a *M*-bi-basis of an ordered Γ-semigroup. We also generalize the tri-ideal of an ordered Γ-semigroup to an *M*-tri-basis of an ordered Γ-semigroup. The notion of almost bi-ideals and almost quasi-ideals of ordered semigroups is discussed in Sudaporn et al. [19]. The novel concept of *M*-bi-basis generators of an ordered Γ-semigroup is introduced by Palanikumar et al. [20]. Susmita et al. have discussed some important properties of bi-ideals of an ordered semigroups [21].

This paper discusses several important classical results for *M*-tri-basis and Γ-semigroups characterized by *M*-tri-ideals and *M*-tri-basis. Furthermore, we demonstrate how the elements and subsets of an ordered Γ-semigroup yield the *M*-tri-ideal and basis. This paper extends the notion of Γ-semigroup information into ordered Γ-semigroup information. The paper is divided into five sections. Section 1 is the introduction. There is a brief description of an ordered Γ-semigroup in Section 2, as well as relevant definitions and results. A numerical example of an *M*-left-tri-basis generator can be found in Section 3. As part of Section 4, a numerical example is given for the *M*-right-tri-basis generator concept. Our conclusions are provided in Section 5. In this paper, our purpose is to describe:


## **2. Basic Concepts**

It is assumed throughout this article that S denotes a Γ-semigroup, unless stated otherwise.

**Definition 1** ([1])**.** *Let* S *and* Γ *be any two non-empty sets. Then,* S *is called a* Γ*-semigroup from* S · Γ ·S→S*, which maps* (*f*1, *π*, *f*2) → *f*<sup>1</sup> · *π* · *f*2*, satisfying the condition* (*f*<sup>1</sup> · *π* · *f*2) · *θ* · *f*<sup>3</sup> = *f*<sup>1</sup> · *π* · (*f*<sup>2</sup> · *θ* · *f*3) *for all f*1, *f*2, *f*<sup>3</sup> ∈ S *and π*, *θ* ∈ Γ*.*

**Definition 2** ([8])**.** *The algebraic system* (S, Γ, !) *is said to be an ordered* Γ*-semigroup if it satisfies the following conditions:*


**Remark 1** ([8])**.** *Let* G *and* G *be any two subsets of* S*. Then, the following properties hold:*


**Definition 3** ([17])**.** *Let* S *be a* Γ*-semigroup and* G *be a subset of* S *called left-tri-ideal(right-triideal) (or LTI and RTI, respectively) if it satisfies the following conditions:*


**Lemma 1** ([18])**.** *Let* S *be a* Γ*-semiring,* G *a subset of* S*, and a* ∈ *S. Then, the following statements hold:*


**Definition 4** ([18])**.** *(i) Let* S *be an ordered semigroup. A subsemigroup* G *of* S *is called an M-left-ideal of* S *if* S *<sup>M</sup>*G+G *and* (G] = G*, where M is a positive integer that is not necessarily one.*

*(ii) A subsemigroup* G *of* S *is called a M-right-ideal of* S *if* GS *<sup>M</sup>* + G *and* (G] = G*, where M is a positive integer that is not necessarily one.*

**Definition 5** ([18])**.** *Let* G *be a subsemigroup of an ordered semigroup* G*. Then, (i) The M-left-ideal generated by* G *is* (G)*ml* = (G ∪ *SM*G]*. (ii) The M-right-ideal generated by* G *is* (G)*mr* = (G∪G*SM*]*.*

**Definition 6** ([7])**.** *Let* G *be a subset of* S*, which is called an M-bi-ideal of semigroup S if it satisfies the following conditions:*


**Definition 7** ([13])**.** *Let* G *be a subset of* S *that is called a bi-basis of* S *if it satisfies the following conditions:*


**Definition 8.** *Let* G *be the subset of* S *that is called an M-bi-basis of* S *if satisfies the following conditions:*


#### **3.** *M***-LTB Generator**

In this paper, we present some results on the *M*-left-tri-ideal (*M*-LTI) generator, based on an ordered Γ-semigroup.

**Definition 9.** *Let* G *be the subset of* S *called an M-LTI of* S *if it satisfies the following conditions:*


**Remark 2.** *If f*<sup>1</sup> ∈ S *and* N *andM are positive integers, then the following statements hold:*


**Remark 3.** *1. Every M-bi-ideal is an M-LTI.*

*2. Every LTI is an M-LTI.*

Here is an example showing that the converse does not need to be true, as demonstrated by Example 1.

**Example 1.**

$$Let \ \mathcal{S} = \left\{ \begin{pmatrix} 0 & a\_1 & a\_2 & a\_3 & a\_4 & a\_5 & a\_6 & a\_7 \\ 0 & 0 & a\_8 & a\_9 & a\_{10} & a\_{11} & a\_{12} & a\_{13} \\ 0 & 0 & 0 & a\_{14} & a\_{15} & a\_{16} & a\_{17} & a\_{18} \\ 0 & 0 & 0 & 0 & a\_{19} & a\_{20} & a\_{21} & a\_{22} \\ 0 & 0 & 0 & 0 & 0 & a\_{23} & a\_{24} & a\_{25} \\ 0 & 0 & 0 & 0 & 0 & 0 & a\_{26} & a\_{27} \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & a\_{28} \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \end{pmatrix} \Big| \begin{matrix} a\_i' \\ a\_i' \in Z^\* \\ \end{matrix} \right\}$$

*and* Γ *is a unit matrix. Now, we define the partial order relation* ! *on* S*: for any A*, *B* ∈ S*, A* !(*S*1,*S*2) *B, if and only if aij* ! *bij , for all i and j. Then,* S *is an ordered* Γ*-semigroup of matrices over Z*<sup>∗</sup> *(non-negative integer) with the partial order relation* " ! "*.*

*(i) Clearly,*

$$B\_1 = \left\{ \begin{pmatrix} 0 & b\_1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & b\_2 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & b\_3 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & b\_4 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \end{pmatrix} \Big| \begin{matrix} b\_i's \in Z^\* \\ b\_i' \in Z^\* \end{matrix} \right\}.$$

*Although B*<sup>1</sup> *is an M-LTI, it is not an M-bi-ideal of* S*. (iii) Clearly,*

$$B\_2 = \left\{ \left. \begin{pmatrix} 0 & b\_1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & b\_2 & b\_3 & b\_4 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & b\_5 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & b\_6 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ \end{pmatrix} \, \middle| \, b\_i^{'s} \in Z^\* \right\}.$$

*Hence, B*<sup>2</sup> *is an M-LTI, but not an LTI of* S*.*


**Definition 10.** *Let* G *be a subset of* S*, known as an M-left-tri-basis (LTB) of* S *if it meets the criteria listed below:*

*1.* S = &G'*mlt.*

*2. If* F+G *such that* S = &F '*mlt, then* F = G*.*

**Example 2.** *Let* S = {*k*1, *k*2, *k*3, *k*4, *k*5, *k*6} *and* Γ = {*π*1, *π*2}*, where π*<sup>1</sup> *and pi*<sup>2</sup> *are defined on* S *with the following table:*


!:= {(*k*1, *k*1),(*k*1, *k*6),(*k*2, *k*2),(*k*2, *k*6),(*k*3, *k*3),(*k*3, *k*6),(*k*4, *k*4),(*k*4, *k*6),(*k*5, *k*5),(*k*5, *k*6), (*k*6, *k*6)}*. Clearly,* (S, Γ, !) *is an ordered* Γ*-semigroup.*

*The covering relation* !:= {(*k*1, *k*6),(*k*2, *k*6),(*k*3, *k*6),(*k*4, *k*6),(*k*5, *k*6)} *is represented by Figure 1, since* G = {*k*4, *k*5} *is a M-LTB of* S*.*

**Figure 1.** Covering relation.

**Theorem 2.** *Let* G *be the M-LTB of* S *and f*1, *f*<sup>2</sup> ∈ G*. If f*<sup>1</sup> ∈ (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2]*, then f*<sup>1</sup> = *f*2*.*

**Proof.** Assume that *f*<sup>1</sup> ∈ (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ ·(S · Γ · ... · Γ · S)· Γ · *f*<sup>2</sup> · Γ · *f*2], and suppose that *f*<sup>1</sup> = *f*2. Let F = G\{ *f*1}. Obviously, F⊂G since *f*<sup>1</sup> = *f*2, *f*<sup>2</sup> ∈ F. To show that &F '*mlt* = S, clearly, &F '*mlt* + S. Still, to prove that S + &F '*mlt*, let *s* ∈ S. By our hypothesis, &G'*mlt* = S, and hence, *s* ∈ (G∪G· Γ ·G∪G· Γ · (S · Γ · ... · Γ · S) · Γ ·G· Γ · G]. We have *s* ! *g* for some *g* ∈G∪G· Γ ·G∪G· Γ · (S · Γ · ... · Γ · S) · Γ ·G· Γ · G. As a result, the following cases will be discussed.

**Case-1** : Let *g* ∈ G. There are two subcases to examine:

**Subcase-1** : Let *g* = *f*1, then *g* ∈G\{ *f*1} = F + &F '*mlt*. **Subcase-2**: Let *g* = *f*1. We have *g* = *f*<sup>1</sup> ∈ (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2] + (F · Γ ·F∪F· Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F] + &F '*mlt*.

**Case-2**: Let *g* ∈G· Γ · G. Then, *g* = *g*<sup>1</sup> · *π* · *g*2, for some *g*1, *g*<sup>2</sup> ∈ G and *π* ∈ Γ. In addition, there are four subcases to be considered.

**Subcase-1**: Let *g*<sup>1</sup> = *f*<sup>1</sup> and *g*<sup>2</sup> = *f*1. Now,

$$\begin{array}{rcl} \mathsf{g} &=& \mathsf{g}\_{1} \cdot \pi \cdot \mathfrak{g}\_{2} \\ &=& f\_{1} \cdot \pi \cdot f\_{1} \\ &\in& \left(\mathcal{N}(f\_{2} \cdot \Gamma \cdot f\_{2}) \cup f\_{2} \cdot \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot \ldots \dots \Gamma \cdot \mathcal{S}) \cdot \Gamma \cdot f\_{2} \cdot \Gamma \cdot f\_{2}\right] \cdot \Gamma \cdot \left(\mathcal{N}(f\_{2} \cdot \Gamma \cdot f\_{2}) \cup \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot f\_{2})\right) \cup \\ &f\_{2} \cdot \Gamma \cdot \left(\mathcal{S} \cdot \Gamma \cdot \ldots \dots \Gamma \cdot \mathcal{S}\right) \cdot \Gamma \cdot f\_{2} \cdot \Gamma \cdot f\_{2} \bigg] \\ &\subseteq \ \left(\left(\mathcal{N}(f\_{2} \cdot \Gamma \cdot f\_{2}) \cup f\_{2} \cdot \Gamma \cdot \left(\mathcal{S} \cdot \Gamma \cdot \ldots \dots \Gamma \cdot \mathcal{S}\right) \cdot \Gamma \cdot f\_{2} \cdot \Gamma \cdot f\_{2}\right) \cdot \Gamma \cdot \end{array}$$

$$\begin{aligned} & \left( \mathcal{N}(f\_2 \cdot \Gamma \cdot f\_2) \cup f\_2 \cdot \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot \dots \dots \Gamma \cdot \mathcal{S}) \cdot \Gamma \cdot f\_2 \cdot \Gamma \cdot f\_2 \right) \Big|\_{\begin{array}{c} \\ \subseteq \\ \subseteq \end{array}} \left( \mathcal{F} \cdot \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot \dots \dots \Gamma \cdot \mathcal{S}) \cdot \Gamma \cdot \mathcal{F} \cdot \Gamma \cdot \mathcal{F} \Big|\_{} \\ & \subseteq \quad \langle \mathcal{F} \rangle\_{\text{mult}} . \end{aligned}$$

**Subcase-2**: Let *g*<sup>1</sup> = *f*<sup>1</sup> and *g*<sup>2</sup> = *f*1. Now,

> *g* = *g*<sup>1</sup> · *π* · *g*<sup>2</sup> ∈ (G\{ *f*1}) · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2] + ((G\{ *f*1}) · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2)] + (F · Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F] + &F '*mlt*.

**Subcase-3**: Let *g*<sup>1</sup> = *f*<sup>1</sup> and *g*<sup>2</sup> = *f*1. Now,

> *g* = *g*<sup>1</sup> · *π* · *g*<sup>2</sup> ∈ (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2] · Γ · (G\{ *f*1}) + ((N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2) · Γ · (G\{ *f*1})] + (F · Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F] + &F '*mlt*.

**Subcase-4**: Let *g*<sup>1</sup> = *f*1, *g*<sup>2</sup> = *f*1, and F = G\{ *f*1}. Now,

$$\begin{array}{rcl} \mathcal{g} &=& \mathcal{g}\_1 \cdot \pi \cdot \mathcal{g}\_2 \\ &\in & (\mathcal{G} \backslash \{f\_1\}) \cdot \Gamma \cdot (\mathcal{G} \backslash \{f\_1\}) \\ &\sqsubseteq & \langle \mathcal{F} \rangle\_{\text{ult}}. \end{array}$$

**Case-3**: Let *g* ∈G· Γ · (S · Γ · ... · Γ · S) · Γ ·G· Γ · G. Then, *g* = *g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*<sup>5</sup> for some *g*3, *g*4, *g*<sup>5</sup> ∈ G, *s*1,*s*2, ... ,*sn* ∈ S and *π*, *θ*, *θ*1, *π*1, *π*2, ... , *π<sup>n</sup>* ∈ Γ. We will examine eight subcases.


**Subcase-1**: Let *g*<sup>3</sup> = *f*1, *g*<sup>4</sup> = *f*1, and *g*<sup>5</sup> = *f*1. Now,

	- = *f*<sup>1</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>1</sup> · *θ*<sup>1</sup> · *f*<sup>1</sup>
	- ∈ (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2] · Γ · (S · Γ · ... · Γ · S) · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2] · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2]
	- + (<sup>N</sup> (*f*<sup>2</sup> · <sup>Γ</sup> · *<sup>f</sup>*2) <sup>∪</sup> *<sup>f</sup>*<sup>2</sup> · <sup>Γ</sup> · (S · <sup>Γ</sup> · ... · <sup>Γ</sup> · S) · <sup>Γ</sup> · *<sup>f</sup>*<sup>2</sup> · <sup>Γ</sup> · *<sup>f</sup>*2) · <sup>Γ</sup> · (S · <sup>Γ</sup> · ... · <sup>Γ</sup> · S) · <sup>Γ</sup> · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2) · Γ · (N (*f*<sup>2</sup> · Γ · *f*2)∪

$$\begin{aligned} f\_2 \cdot \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot \dots \dots \cdot \Gamma \cdot \mathcal{S}) \cdot \Gamma \cdot f\_2 \cdot \Gamma \cdot f\_2 &\Big\vert \\ \underline{\subseteq} & \quad (\mathcal{F} \cdot \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot \dots \cdot \Gamma \cdot \mathcal{S}) \cdot \Gamma \cdot \mathcal{F} \cdot \Gamma \cdot \mathcal{F}] \\ \underline{\subseteq} & \quad \langle \mathcal{F} \rangle\_{mlt} .\end{aligned}$$

**Subcase-2**: Let *g*<sup>3</sup> = *f*1, *g*<sup>4</sup> = *f*1, and *g*<sup>5</sup> = *f*1. Now,

*g* = *g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*<sup>5</sup> ∈ (G\{ *f*1}) · Γ · (S · Γ · ... · Γ · S) · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) ·Γ · *f*<sup>2</sup> · Γ · *f*2] · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2] + (G\{ *f*1}) · Γ · (S · Γ · ... · Γ · S) · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) ·Γ · *f*<sup>2</sup> · Γ · *f*2) · Γ · (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*<sup>2</sup> A + (F · Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F] + &F '*mlt*.

**Subcase-6**: Let *g*<sup>3</sup> = *f*1, *g*<sup>4</sup> = *f*1, and *g*<sup>5</sup> = *f*1. Now,

*g* = *g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*<sup>5</sup> ∈ (N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2] · Γ · (S · Γ · ... · Γ · S) ·Γ · (G\{ *f*1}) · Γ · (G\{ *f*1}) + ((N (*f*<sup>2</sup> · Γ · *f*2) ∪ *f*<sup>2</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2) · Γ · (S · Γ · ... · Γ · S) ·Γ · (G\{ *f*1}) · Γ · (G\{ *f*1})] + (F · Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F] + &F '*mlt*.

**Subcase-8**: Let *g*<sup>3</sup> = *f*1, *g*<sup>4</sup> = *f*1, *g*<sup>5</sup> = *f*1, and F = G\{ *f*1}. Now,

$$\begin{array}{rcl} \mathcal{S} &=& \mathcal{S}\_{3} \cdot \pi \cdot (\mathbf{s}\_{1} \cdot \boldsymbol{\pi}\_{1} \cdot \mathbf{s}\_{2} \cdot \ldots \boldsymbol{\pi}\_{n} \cdot \mathbf{s}\_{n}) \cdot \boldsymbol{\theta} \cdot \boldsymbol{\mathcal{g}}\_{4} \cdot \boldsymbol{\theta}\_{1} \cdot \boldsymbol{\mathcal{g}}\_{5} \\ & \in & (\mathcal{G} \backslash \{f\_{1}\}) \cdot \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot \ldots \boldsymbol{\Gamma} \cdot \mathcal{S}) \cdot \Gamma \cdot (\mathcal{G} \backslash \{f\_{1}\}) \cdot \Gamma \cdot (\mathcal{G} \backslash \{f\_{1}\}) \\ & \sqsubseteq & (\mathcal{F} \cdot \Gamma \cdot (\mathcal{S} \cdot \Gamma \cdot \ldots \boldsymbol{\Gamma} \cdot \mathcal{S}) \cdot \Gamma \cdot \mathcal{F} \cdot \Gamma \cdot \mathcal{F}] \\ & \sqsubseteq & \langle \mathcal{F} \rangle\_{\text{mlt}}. \end{array}$$

It is similar to prove other subcases. Hence, for all the cases, we have S + &F '*mlt*. Thus, S = &F '*mlt*, which is a contradiction. Hence *f*<sup>1</sup> = *f*2.

**Lemma 2.** *Let* G *be the M-LTB of* S *and f*1, *f*2, *f*3, *f*<sup>4</sup> ∈ G*. If f*<sup>1</sup> ∈ (N (*f*<sup>3</sup> · Γ · *f*2) ∪ *f*<sup>3</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*4]*, then f*<sup>1</sup> = *f*<sup>2</sup> *or f*<sup>1</sup> = *f*<sup>3</sup> *or f*<sup>1</sup> = *f*4*.*

**Proof.** Theorem 2 leads to the proof.

**Definition 11.** *For any s*1,*s*<sup>2</sup> ∈ S*, s*<sup>1</sup> !*mlt s*<sup>2</sup> ⇐⇒&*s*1'*mlt* + &*s*2'*mlt is called a quasi-order on* S*.*

**Remark 4.** *The order* !*mlt is not a partial order of* S*.*

**Example 3.** *By Example 2,* &*k*5'*mlt* + &*k*6'*mlt and* &*k*6'*mlt* + &*k*5'*mlt but k*<sup>5</sup> = *k*6*. Hence, the relation* !*mlt is not a partial order on* S*.*

If F is an *M*-LTB of S, then &F '*mlt* = S. Let *s* ∈ S. Then, *s* ∈ &F'*mlt*, and so, *s* ∈ &*f*1'*mlt* for some *f*<sup>1</sup> ∈ F. This implies &*s*'*mlt* + &*f*1'*mlt*. Hence, *s* !*mlt f*1.

**Remark 5.** *If* G *is a M-LTB of* S *then for any s* ∈ S*, there exists f*<sup>1</sup> ∈ G *such that s* !*mlt f*1*.*

**Lemma 3.** *Let* G *be an M-LTB of* S*. If f*1, *f*<sup>2</sup> ∈ G *such that f*<sup>1</sup> = *f*2*, then neither f*<sup>1</sup> !*mlt f*<sup>2</sup> *nor f*<sup>2</sup> !*mlt f*1*.*

**Proof.** Assume that *f*1, *f*<sup>2</sup> ∈ G, such that *f*<sup>1</sup> = *f*2. Suppose that *f*<sup>1</sup> !*mlt f*2. Let F = G\{ *f*1}. Then, *f*<sup>2</sup> ∈ F. Let *s* ∈ S. By Remark 5, there exists *f*<sup>3</sup> ∈ G, such that *s* !*mlt f*3. We think about two cases to be discussed. If *f*<sup>3</sup> = *f*1, then *f*<sup>3</sup> ∈ F. Thus, &*s*'*mlt* + &*f*3'*mlt* + &F '*mlt*. Hence, S = &F '*mlt*, which is a contradiction. If *f*<sup>3</sup> = *f*1, then *s* !*mlt f*2. Hence, *s* ∈ &F '*mlt*, since *f*<sup>2</sup> ∈ F. Hence, S = &F '*mlt*, which is a contradiction. A similar argument can be made for other cases.

**Lemma 4.** *Let* G *be the M-LTB of* S *and f*1, *f*2, *f*<sup>3</sup> ∈ G *and s* ∈ S*.*


**Proof.** (1) Assume that *f*<sup>1</sup> ∈ ({ *f*<sup>2</sup> · *π* · *f*3}∪N ({ *f*<sup>2</sup> · *π* · *f*3} · Γ · { *f*<sup>2</sup> · *π* · *f*3}) ∪ { *f*<sup>2</sup> · *π* · *f*3} · Γ · (S · Γ · ... · Γ · S) · Γ · { *f*<sup>2</sup> · *π* · *f*3} · Γ · { *f*<sup>2</sup> · *π* · *f*3}] and suppose that *f*<sup>1</sup> = *f*<sup>2</sup> and *f*<sup>1</sup> = *f*3. Let F = G\{ *f*1}. Clearly, F⊂G, since *f*<sup>1</sup> = *f*<sup>2</sup> and *f*<sup>1</sup> = *f*<sup>3</sup> implies *f*2, *f*<sup>3</sup> ∈ F. To prove that &G'*mlt* + &F '*mlt*, it suffices to determine that G + &F '*mlt*. Let *f* ∈ G, if *f* = *f*<sup>1</sup> that *f* ∈ F, and hence, *f* ∈ &F '*mlt*. If *f* = *f*1, then

$$\begin{split} f &= f\_1 \quad \in \quad \left( \{ f\_2 \cdot \pi \cdot f\_3 \} \cup \mathcal{N} \left( \{ f\_2 \cdot \pi \cdot f\_3 \} \cdot \Gamma \cdot \{ f\_2 \cdot \pi \cdot f\_3 \} \right) \right) \cup \left\{ f\_2 \cdot \pi \cdot f\_3 \right\} \cdot \Gamma \cdot \left( \mathcal{S} \cdot \Gamma \cdot \ldots \right) \\ &\quad \cdot \Gamma \cdot \mathcal{S} \right) \cdot \Gamma \cdot \left\{ f\_2 \cdot \pi \cdot f\_3 \right\} \cdot \Gamma \cdot \left\{ f\_2 \cdot \pi \cdot f\_3 \} \Big| \\ &\subseteq \quad \left( \mathcal{F} \cdot \Gamma \cdot \mathcal{F} \cup \mathcal{F} \cdot \Gamma \cdot \left( \mathcal{S} \cdot \Gamma \cdot \ldots \right) \cdot \Gamma \cdot \mathcal{S} \right) \cdot \Gamma \cdot \mathcal{F} \cdot \Gamma \cdot \mathcal{F} \\ &\subseteq \quad \langle \mathcal{F} \rangle\_{\text{wlt}}. \end{split}$$

Thus, G + &F '*mlt*. This implies &G'*mlt* + &F '*mlt*, as G is an *M*-LTB of S and S = &G'*mlt* + &F '*mlt* + S. Therefore, S = &F '*mlt*, which is a contradiction. Hence, *f*<sup>1</sup> = *f*<sup>2</sup> or *f*<sup>1</sup> = *f*3.

(2) Assume that *f*<sup>1</sup> ∈ ({ *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4}∪N ({ *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4} · Γ · { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4}) ∪ { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4} · Γ ·S ·Γ · { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4} · Γ · { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4}] and suppose that *f*<sup>1</sup> = *f*<sup>2</sup> and *f*<sup>1</sup> = *f*<sup>3</sup> and *f*<sup>1</sup> = *f*4. Let F = G\{ *f*1}. Clearly, F⊂G, since *f*<sup>1</sup> = *f*2, *f*<sup>1</sup> = *f*3, and *f*1 = *f*<sup>4</sup> imply that *f*2, *f*3, *f*<sup>4</sup> ∈ F. To prove that &G'*mlt* + &F '*mlt*, it remains to prove that G + &F '*mlt*. Let *f* ∈ G if *f* = *f*<sup>1</sup> that *f* ∈ F, and so, *f* ∈ &F '*mlt*. Hence,

*f* = *f*<sup>1</sup> ∈ ({ *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4}∪N ({ *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... ·*π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4} · Γ · { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4}) ∪ { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4} · Γ · (S · Γ · ... · Γ · S) · Γ · { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4} · Γ · { *f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... ·*π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4}] + (F · Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F] + &F '*mlt*.

Thus, G + &F '*mlt*. This implies &G'*mlt* + &F '*mlt* as G is an *M*-LTB of S and S = &G'*mlt* + &F '*mlt* + S. Therefore, S = &F '*mlt*, which is a contradiction. Hence, *f*<sup>1</sup> = *f*<sup>2</sup> or *f*<sup>1</sup> = *f*<sup>3</sup> or *f*<sup>1</sup> = *f*4.

**Lemma 5.** *Let* G *be an M-LTB of* S*,*


**Proof.** (1) For any *f*1, *f*2, *f*<sup>3</sup> ∈ G, let *f*<sup>1</sup> = *f*<sup>2</sup> and *f*<sup>1</sup> = *f*3. Suppose that *f*<sup>1</sup> !*mlt f*<sup>2</sup> · *π* · *f*<sup>3</sup> and

*f*<sup>1</sup> ∈ &*f*1'*mlt* + {(*f*<sup>2</sup> · *π* · *f*3)}*mlt* = ({(*f*<sup>2</sup> · *π* · *f*3)}∪N ({(*f*<sup>2</sup> · *π* · *f*3)} · Γ · {(*f*<sup>2</sup> · *π* · *f*3)}) ∪ {(*f*<sup>2</sup> · *π* · *f*3)} · Γ · (S · Γ · ... · Γ · S) · Γ · {(*f*<sup>2</sup> · *π* · *f*3)} · Γ · {(*f*<sup>2</sup> · *π* · *f*3)}].

By Lemma 4 (1), it follows that *f*<sup>1</sup> = *f*<sup>2</sup> or *f*<sup>1</sup> = *f*3, which is a contradiction. (2) For any *f*1, *f*2, *f*3, *f*<sup>4</sup> ∈ G, let *f*<sup>1</sup> = *f*2, *f*<sup>1</sup> = *f*3, and *f*<sup>1</sup> = *f*4. Suppose that *f*<sup>1</sup> !*mlt f*<sup>2</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4, we have

*f*<sup>1</sup> ∈ &*f*1'*mlt* + {(*f*<sup>2</sup> · Γ · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4)}*mlt* = ({(*f*<sup>2</sup> · Γ · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4)}∪N ({(*f*<sup>2</sup> · Γ · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4)} · Γ · {(*f*<sup>2</sup> · Γ · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4)}) ∪{(*f*<sup>2</sup> · Γ · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4)} · Γ · (S · Γ · ... · Γ · S) · Γ ·{(*f*<sup>2</sup> · Γ · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *f*<sup>3</sup> · *θ*<sup>1</sup> · *f*4)}].

By Lemma 4 (2), it follows that *f*<sup>1</sup> = *f*2, *f*<sup>1</sup> = *f*3, or *f*<sup>1</sup> = *f*4, which contradicts our assumption.

**Theorem 3.** *Let* G *be the M-LTB of* S*, if and only if* G *satisfies the following*

*1. For any s* ∈ S*,*

*(1.1) there exists f*<sup>2</sup> ∈ G *such that s* !*mlt f*<sup>2</sup> *(or), (1.2) there exists g*1, *g*<sup>2</sup> ∈ G *such that s* !*mlt g*<sup>1</sup> · *π* · *g*<sup>2</sup> *(or), (1.3) there exists g*3, *g*4, *g*<sup>5</sup> ∈ G *such that s* !*mlt g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5*;*


**Proof.** Assume that G is an *M*-LTB of S, then S = &G'*mlt*. To prove that (1), let *s* ∈ S, *s* ∈ (G∪G· Γ ·G· Γ ·G∪G· Γ · (S · Γ · ... · Γ · S) · Γ ·G· Γ · G]. As *s* ∈ (G∪G· Γ ·G· Γ ·G∪ G · Γ · (S · Γ · ... · Γ · S) · Γ ·G· Γ · G], we have *s* ! *g* for some *g* ∈G∪G· Γ ·G· Γ ·G∪G· Γ · (S · Γ · ... · Γ · S) · Γ ·G· Γ · G, we think about the three following cases.

**Case-1** : Let *g* ∈ G. Then, *g* = *f*<sup>2</sup> for some *f*<sup>2</sup> ∈ G. This implies &*g*'*mlt* + &*f*2'*mlt*. Hence, *g* !*mlt f*2. As *s* ! *g* for some *g* ∈ &*f*2'*mlt*. To find out &*s*'*mlt* + &*f*2'*mlt*. Now, *s* ∪ N (*s*· Γ ·*s*) ∪ ·Γ ·(S · Γ · ... · Γ · S)· Γ ·*s*· Γ ·*s* + &*f*2'*mlt* ∪ N (&*f*2'*mlt* · Γ · &*f*2'*mlt*) ∪ &*f*2'*mlt* · Γ ·(S · Γ · ... · Γ · S)· Γ · &*f*2'*mlt* + *f*<sup>2</sup> ∪ N (*f*<sup>2</sup> · *π* · *f*2) ∪ *f*<sup>2</sup> · *π* ·(S · Γ · ... · Γ · S)· Γ · *f*<sup>2</sup> · Γ · *f*2]. We have (*s* ∪ N (*s* · Γ · *s*) ∪ ·Γ · (S · Γ · ... · Γ · S) · Γ · *s* · Γ · *s*] + (*f*<sup>2</sup> ∪ N (*f*<sup>2</sup> · *π* · *f*2) ∪ *f*<sup>2</sup> · *π* · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*2]. Thus, &*s*'*mlt* + &*f*2'*mlt*, and hence, *s* !*mlt f*2.

**Case-2** : Let *g* ∈ G· Γ · G. Then, *g* = *g*<sup>1</sup> · *π* · *g*<sup>2</sup> for some *g*1, *g*<sup>2</sup> ∈ G and *π* ∈ Γ. This implies &*g*'*mlt* + &*g*<sup>1</sup> · *π* · *g*2'*mlt*. Hence, *g* !*mlt g*<sup>1</sup> · *π* · *g*2. As *s* ! *g* for some *g* ∈ &*g*<sup>1</sup> · *π* · *g*2'*mlt*. We have *s* ∈ &*g*<sup>1</sup> · *π* · *g*2'*mlt*. We determine that &*s*'*mlt* + &*g*<sup>1</sup> · *π* · *g*2'*mlt*. Now, *s* ∪ N (*s* · Γ · *s*) ∪ ·Γ · (S · Γ · ... · Γ · S) · Γ · *s* · Γ · *s* + ({*g*<sup>1</sup> · *π* · *g*2}∪N ({*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}) ∪ {*g*<sup>1</sup> · *π* · *g*2} · Γ · (S · Γ · ... · Γ · S) · Γ · {*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}]. Hence, (*s* ∪ N (*s* · Γ · *s*) ∪ ·Γ · (S · Γ · ... · Γ · S) · Γ · *s* · Γ · *s*] + ({*g*<sup>1</sup> · *π* · *g*2}∪N ({*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}) ∪ {*g*<sup>1</sup> · *π* · *g*2} · Γ · (S · Γ · ... · Γ · S) · Γ · {*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}]. This

implies &*s*'*mlt* + &*g*<sup>1</sup> · *π* · *g*2'*mlt*. Hence, *s* !*mlt g*<sup>1</sup> · *π* · *g*2.

**Case-3**: Let *g* ∈G· Γ · (S · Γ · ... · Γ · S) · Γ ·G· Γ · G. Then, *g* = *g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*<sup>5</sup> for some *g*3, *g*<sup>4</sup> ∈ G. This implies &*g*'*mlt* + &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. Hence, *g* !*mlt* &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. As *s* ! *g* for some *g* ∈ &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. We have *s* ∈ &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. To prove that &*s*'*mlt* + &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. Now, *s* ∪ N (*s* · Γ · *s*) ∪ ·Γ · (S · Γ · ... · Γ · S) · Γ · *s* · Γ · *s* + ({*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}∪N ({*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}) ∪ {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · (S · Γ · ... · Γ · S) · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}]. Hence, (*s* ∪ N (*s* · Γ · *s*) ∪ ·Γ · (S · Γ · ... · Γ · S) · Γ · *s* · Γ · *s*] + ({*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}∪N ({*g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> ·*s*<sup>2</sup> · ... · *π<sup>n</sup>* ·*sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> ·*s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}) ∪ {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · (S · Γ · ... · Γ · S) · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}]. This implies &*s*'*mlt* + &*g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. Hence, *s* !*mlt g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> ·*s*<sup>2</sup> · ... · *π<sup>n</sup>* ·*sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5. By Lemma 5(1) and Lemma 5(2), we have the proof of (2) and (3), respectively.

Conversely, assume that (1), (2), and (3) hold to prove that G is an *M*-LTB of S. To determine that S = &G'*mlt*, clearly, &G'*mlt* + S. By (1), S + &G'*mlt* and S = &G'*mlt*. It remains to be determined whether G is a minimal subset of S, S = &G'*mlt*. Suppose that S = &F '*mlt* for some F⊂G. As F⊂G, there exists *f*<sup>2</sup> ∈G\F. As *f*<sup>2</sup> ∈G+S = &F '*mlt* and *f*<sup>2</sup> ∈ F, it follows that *f*<sup>2</sup> ∈ (F · Γ ·F· Γ ·F∪F· Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F]. As *f*<sup>2</sup> ∈ (F · Γ ·F· Γ ·F∪F· Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F], this implies *f*<sup>2</sup> ! *g* for some *g* ∈F· Γ ·F· Γ ·F∪F· Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F. There are two cases to be observed.

**Case-1**: Let *g* ∈F· Γ ·F· Γ · F. Then, *g* = *g*<sup>1</sup> · *π* · *g*<sup>2</sup> for some *g*1, *g*<sup>2</sup> ∈ F and *π* ∈ Γ. We have *g*1, *g*<sup>2</sup> ∈ G. As *f*<sup>2</sup> ∈ F, *f*<sup>2</sup> = *g*<sup>1</sup> and *f*<sup>2</sup> = *g*2. As *g* = *g*<sup>1</sup> · *π* · *g*2, &*g*'*mlt* + &*g*<sup>1</sup> · *π* · *g*2'*mlt*. Hence, *g* !*mlt g*<sup>1</sup> · *π* · *g*2. As *f*<sup>2</sup> ! *g* for some *g* ∈ &*g*<sup>1</sup> · *π* · *g*2'*mlt*, we have *f*<sup>2</sup> ∈ &*g*<sup>1</sup> · *π* · *g*2'*mlt* to prove that &*f*2'*mlt* + &*g*<sup>1</sup> · *π* · *g*2'*mlt*.

Now, *f*<sup>2</sup> ∪ N (*f*<sup>2</sup> · *π* · *f*2) ∪ *f*<sup>2</sup> · *π* · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*<sup>2</sup> + ({*g*<sup>1</sup> · *π* · *g*2}∪N ({*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}) ∪ {*g*<sup>1</sup> · *π* · *g*2} · Γ ·(S · Γ · ... · Γ · S)· Γ · {*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}]. Hence, (*f*<sup>2</sup> ∪ N (*f*<sup>2</sup> · *π* · *f*2) ∪ *f*<sup>2</sup> · *π* ·(S · Γ · ... · Γ · S)· Γ · *f*<sup>2</sup> · Γ · *f*2] + ({*g*<sup>1</sup> · *π* · *g*2}∪N ({*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}) ∪ {*g*<sup>1</sup> · *π* · *g*2} · Γ ·(S · Γ · ... · Γ · S)· Γ · {*g*<sup>1</sup> · *π* · *g*2} · Γ · {*g*<sup>1</sup> · *π* · *g*2}]. This implies &*f*2'*mlt* + &*g*<sup>1</sup> · *π* · *g*2'*mlt*. Hence, *f*<sup>2</sup> !*mlt g*<sup>1</sup> · *π* · *g*2. This contradicts (2).

**Case-2**: Let *g* ∈ F· Γ · (S · Γ · ... · Γ · S) · Γ ·F· Γ · F. Then, *g* = *g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*<sup>5</sup> for some *g*3, *g*<sup>4</sup> ∈ F,*si* ∈ S and *πi*, *π*, *θ* ∈ Γ, *i* = 1, 2, ... , *n*. We have *g*3, *g*<sup>4</sup> ∈ G. As *f*<sup>2</sup> ∈ F, so *f*<sup>2</sup> = *g*<sup>3</sup> and *f*<sup>2</sup> = *g*4. As *g* = *g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5, &*g*'*mlt* + &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. Hence, *g* !*mlt g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5. Since *f*<sup>2</sup> ! *g* for some *g* ∈ &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*, we have *f*<sup>2</sup> ∈ &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. We determine that &*f*2'*mlt* + &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. Now, *f*<sup>2</sup> ∪ N (*f*<sup>2</sup> · *π* · *f*2) ∪ *f*<sup>2</sup> · *π* · (S · Γ · ... · Γ · S) · Γ · *f*<sup>2</sup> · Γ · *f*<sup>2</sup> + ({*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}∪N ({*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}) ∪ {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ ·(S · Γ · ... · Γ · S)· Γ · {*g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> ·*s*<sup>2</sup> · ... · *π<sup>n</sup>* ·*sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}]. Hence, (*f*<sup>2</sup> ∪ N (*f*<sup>2</sup> · *π* · *f*2) ∪ *f*<sup>2</sup> · *π* · (S · Γ · ... · Γ · S)· Γ · *f*<sup>2</sup> · Γ · *f*2] + ({*g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> ·*s*<sup>2</sup> · ... · *π<sup>n</sup>* ·*sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}∪N ({*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}) ∪ {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · (S · Γ · ... · Γ · S) · Γ · {*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5} · Γ · {*g*<sup>3</sup> · *π* ·(*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*)· *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5}]. This implies &*f*2'*mlt* + &*g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5'*mlt*. Hence, *f*<sup>2</sup> !*mlt g*<sup>3</sup> · *π* · (*s*<sup>1</sup> · *π*<sup>1</sup> · *s*<sup>2</sup> · ... · *π<sup>n</sup>* · *sn*) · *θ* · *g*<sup>4</sup> · *θ*<sup>1</sup> · *g*5, which is a contradiction to (3). Therefore, G is an *M*-LTB of S.

**Theorem 4.** *Let* G *be an M-LTB of* S*. Then,* G *is an ordered* Γ*-subsemigroup of* S*, if and only if g*<sup>1</sup> · *π* · *g*<sup>2</sup> = *g*<sup>1</sup> *or g*<sup>1</sup> · *π* · *g*<sup>2</sup> = *g*2*, for any g*1, *g*<sup>2</sup> ∈ G *and π* ∈ Γ*.*

**Proof.** If G is an ordered Γ-subsemigroup of S, then *g*<sup>1</sup> · *π* · *g*<sup>2</sup> ∈ G . As *g*<sup>1</sup> · *π* · *g*<sup>2</sup> ∈ (N (*g*<sup>1</sup> · Γ · *g*2) ∪ *g*<sup>1</sup> · Γ · (S · Γ · ... · Γ · S) · Γ · *g*<sup>2</sup> · Γ · *g*2], it follows by Lemma 2 that *g*<sup>1</sup> · *π* · *g*<sup>2</sup> = *g*<sup>1</sup> or *g*<sup>1</sup> · *π* · *g*<sup>2</sup> = *g*2.
