**1. Introduction**

In 1965, Zadeh [1] proposed the concept of fuzzy sets as a generalization of crisp sets, in order express mathematically uncertainty problems. After then, Zadeh [2] and Atanassov [3] introduced the concept of interval-valued fuzzy sets and intuitionistic fuzzy sets, respectively. In traditional fuzzy logic, a number contained in the unit interval [0, 1] is used as a measure of expert confidence in other statements. However, it is often difficult for experts to accurately quantify their certainty. In other words, the probability of quantified figures being accurate is low. Therefore, it is necessary to increase the accuracy of measurement using the sub-interval of [0, 1], and there is an interval-value fuzzy set developed as a mathematical tool for this. Fuzzy sets or interval-valued fuzzy sets are a very useful tools for measuring against one factor, but it is not appropriate to measure two factors at the same time. Jun et al. [4] defined the notion of cubic sets, which is a kind of hybrid structure, by using a fuzzy set and an interval-valued fuzzy set. In addition, it is a good mathematical tool for evaluating both factors at the same time, and it is being applied in many places (see [5–9]). After the introduction of cubic set, various concepts related to it, i.e., cubic set, (generalized) cubic intuitionistic fuzzy set, cubic interval-valued intuitionistic fuzzy set, cubic picture fuzzy set, cubic hesitant fuzzy set, cubic bipolar fuzzy set, cubic Pythagorean fuzzy set, cubic soft set, etc., have emerged and are being applied in various ways. We can consider intuitionistic fuzzy set as a tool to measure both positive and negative factors for every outcome/assessment at the same time. We need the ability to handle three different tasks at the same time amid increasingly diverse social phenomena due to the development of science. In addition, mathematicians feel the need to develop mathematical tools to support this, and they have a desire to develop a wider hybrid structure. With a wider hybrid structure, Lee et al. [10] defined an octahedron set composed of an interval-valued fuzzy set, an intuitionistic

fuzzy set and a fuzzy set that will provide more information about uncertainty. This structure allows point measurements, interval measurements, and positive and negative simultaneous measurements as event assessments at the same time. As mathematicians, the purpose of this paper is to carry out the study of applying octahedron sets to algebraic structures, in particular, groups and rings. From now on, we expect octahedron sets to be applied to several branches, including algebraic structures, topological structures, metric spaces, medical science, decision making systems, aggregation operators, expert systems, etc. The composition of this paper is as follows. In Section 2, we list some basic concepts needed in the next sections: for examples, an intuitionistic number, an intuitionistic fuzzy set, an interval number, an interval-valued fuzzy set, an octahedron number and an octahedron set. In Section 3, we define the *i*-product of two octahedron sets in a groupoid and introduce the concept of *i*-octahedron subgroupoids of a groupoid by using it. In particular, we obtain four characterizations of *i*-octahedron groupoids (See Theorems 2–4). Also, we define an *i*-OLI [resp., *i*-ORI and *i*-OI]] of a groupoid and study some of their properties. Moreover, we obtain some properties for the image and preimage of an *i*-octahedron subgroupoid [resp., *i*-OLI, *i*-ORI and *i*-OI] under groupoid homomorphism. In Section 4, we define an *i*-octahedron subgroup of a group and investigate some of its properties. In particular, we obtain two characterizations of *i*-octahedron subgroup and *i*-OLI [resp., *i*-ORI and *i*-OI] of a group (See Theorems 7 and 8). In Section 4, we introduce the concepts of *i*-octahedron subrings [resp., *i*-OLIs, *i*-ORIs and *i*-OIs] of a ring and obtain their characterizations (See Theorems 13 and 15). Furthermore, we find a sufficient condition for which a commutative ring with a unity *e* is a field (See Proposition 27).

#### **2. Preliminaries**

Let *I* ⊕ *I* = {*a*¯ = (*a*∈, *a*∈) ∈ *I* × *I* : *a*<sup>∈</sup> + *a*∈ ≤ 1}, where *I* = [0, 1]. Then each member *a*¯ of *I* ⊕ *I* is called an intuitionistic point or intuitionistic number. In particular, we denote (0, 1) and (1, 0) as 0¯ and 1¯, respectively. Refer to [11] for the definitions of the order (≤) and the equality (=) of two intuitionistic numbers, and the infimum and the supremum of any intuitionistic numbers.

**Definition 1** ([3])**.** *For a nonempty set X, a mapping A* : *X* → *I* ⊕ *I is called an intuitionistic fuzzy set (briefly, IF set) in X, where for each x* ∈ *X, A*(*x*)=(*A*∈(*x*), *A*∈(*x*))*, and A*∈(*x*) *and A*∈(*x*) *represent the degree of membership and the degree of nonmembership of an element <sup>x</sup> to A, respectively. Let* (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*)*<sup>X</sup> denote the set of all IF sets in <sup>X</sup> and for each <sup>A</sup>* <sup>∈</sup> (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*)*X, we write <sup>A</sup>* = (*A*∈, *<sup>A</sup>*∈)*. In particular,* **<sup>0</sup>**¯ *and* **<sup>1</sup>**¯ *denote the IF empty set and the IF whole set in X defined by, respectively: for each x* ∈ *X,*

$$
\Phi(x) = 0 \text{ and } \Phi(x) = 1.
$$

For the definitions of the inclusion, the equality, the union and the intersection of two IF sets, the complement of an IF set, two operations [ ] and on (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*)*X*, refer to [3].

The set of all closed subintervals of *I* is denoted by [*I*], and members of [*I*] are called interval numbers and are denoted by *<sup>a</sup>*, *<sup>b</sup>*, *<sup>c</sup>*, etc., where *<sup>a</sup>* = [*a*−, *<sup>a</sup>*+] and 0 <sup>≤</sup> *<sup>a</sup>*<sup>−</sup> <sup>≤</sup> *<sup>a</sup>*<sup>+</sup> <sup>≤</sup> 1. In particular, if *<sup>a</sup>*<sup>−</sup> <sup>=</sup> *<sup>a</sup>*+, then we write as *<sup>a</sup>* <sup>=</sup> **<sup>a</sup>** (See [12]).

For the definitions of the order and the equality of two interval numbers, and the infimum and the supremum of any interval numbers, refer to [13,14].

**Definition 2** ([2,15])**.** *For a nonempty set X, a mapping A* : *X* → [*I*] *is called an interval-valued fuzzy set (briefly, an IVF set) in X. Let* [*I*] *<sup>X</sup> denote the set of all IVF sets in X. For each <sup>A</sup>* <sup>∈</sup> [*I*] *<sup>X</sup> and <sup>x</sup>* <sup>∈</sup> *X, <sup>A</sup>*(*x*)=[*A*−(*x*), *<sup>A</sup>*+(*x*)] *is called the degree of membership of an element <sup>x</sup> to A, where <sup>A</sup>*−, *<sup>A</sup>*<sup>+</sup> <sup>∈</sup> *<sup>I</sup><sup>X</sup> are called a lower fuzzy set and an upper fuzzy set in X, respectively. For each A* ∈ [*I*] *X, we write A* = [*A*−, *A*+]*. In particular,* <sup>0</sup> *and* <sup>1</sup> *denote the interval-valued fuzzy empty set and the interval-valued fuzzy empty whole set in X defined by, respectively: for each x* ∈ *X,*

$$\widetilde{0}(x) = \mathbf{0} \text{ and } \widetilde{1}(x) = \mathbf{1}.$$

For the definitions of the inclusion, the equality, the union, the intersection of two IV sets and the complement of an IV set, refer to [2,15].

Now members of [*I*] <sup>×</sup> (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*) <sup>×</sup> *<sup>I</sup>* are written as *<sup>a</sup>*¯ <sup>=</sup> *<sup>a</sup>*, *<sup>a</sup>*¯, *<sup>a</sup>* <sup>=</sup> [*a*−, *<sup>a</sup>*−],(*a*∈, *<sup>a</sup>*∈), *<sup>a</sup>*, ¯ *b* = *<sup>b</sup>*, ¯ *b*, *b* = [*b*−, *b*−],(*b*∈, *b*∈), *b*, etc. and are called octahedron numbers. Furthermore, we will define the following order relations in [*I*] × (*I* ⊗ *I*) × *I* (see [10]):

(Oi) (Equality) *<sup>a</sup>*¯ <sup>=</sup> ¯ *<sup>b</sup>* <sup>⇔</sup> *<sup>a</sup>* <sup>=</sup> *<sup>b</sup>*, *<sup>a</sup>*¯ <sup>=</sup> ¯ *b*, *a* = *b*, (Oii) (Type 1-order) *<sup>a</sup>*¯ <sup>≤</sup><sup>1</sup> ¯ *<sup>b</sup>* <sup>⇔</sup> *<sup>a</sup>*<sup>−</sup> <sup>≤</sup> *<sup>b</sup>*−, *<sup>a</sup>*<sup>+</sup> <sup>≤</sup> *<sup>b</sup>*+, *<sup>a</sup>*<sup>∈</sup> <sup>≤</sup> *<sup>b</sup>*∈, *<sup>a</sup>*∈ <sup>≥</sup> *<sup>b</sup>*∈, *<sup>a</sup>* <sup>≤</sup> *<sup>b</sup>*, (Oiii) (Type 2-order) *<sup>a</sup>*¯ <sup>≤</sup><sup>2</sup> ¯ *<sup>b</sup>* <sup>⇔</sup> *<sup>a</sup>*<sup>−</sup> <sup>≤</sup> *<sup>b</sup>*−, *<sup>a</sup>*<sup>+</sup> <sup>≤</sup> *<sup>b</sup>*+, *<sup>a</sup>*<sup>∈</sup> <sup>≤</sup> *<sup>b</sup>*∈, *<sup>a</sup>*∈ <sup>≥</sup> *<sup>b</sup>*∈, *<sup>a</sup>* <sup>≥</sup> *<sup>b</sup>*, (Oiv) (Type 3-order) *<sup>a</sup>*¯ <sup>≤</sup><sup>3</sup> ¯ *<sup>b</sup>* <sup>⇔</sup> *<sup>a</sup>*<sup>−</sup> <sup>≤</sup> *<sup>b</sup>*−, *<sup>a</sup>*<sup>+</sup> <sup>≥</sup> *<sup>b</sup>*+, *<sup>a</sup>*<sup>∈</sup> <sup>≥</sup> *<sup>b</sup>*∈, *<sup>a</sup>*∈ <sup>≤</sup> *<sup>b</sup>*∈, *<sup>a</sup>* <sup>≤</sup> *<sup>b</sup>*, (Ov) (Type 4-order) *<sup>a</sup>*¯ <sup>≤</sup><sup>4</sup> ¯ *<sup>b</sup>* <sup>⇔</sup> *<sup>a</sup>*<sup>−</sup> <sup>≤</sup> *<sup>b</sup>*−, *<sup>a</sup>*<sup>+</sup> <sup>≤</sup> *<sup>b</sup>*+, *<sup>a</sup>*<sup>∈</sup> <sup>≥</sup> *<sup>b</sup>*∈, *<sup>a</sup>*∈ <sup>≤</sup> *<sup>b</sup>*∈, *<sup>a</sup>* <sup>≥</sup> *<sup>b</sup>*.

**Definition 3** ([10])**.** *Let <sup>X</sup> be a nonempty set and let* **<sup>A</sup>** = [*A*−, *<sup>A</sup>*+] <sup>∈</sup> [*I*] *<sup>X</sup>*, *<sup>A</sup>* = (*A*∈, *<sup>A</sup>*∈) <sup>∈</sup> (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*)*X*, *<sup>λ</sup>* <sup>∈</sup> *<sup>I</sup>X. Then the triple* <sup>A</sup> <sup>=</sup> **A**, *<sup>A</sup>*, *<sup>λ</sup> is called an* octahedron *set in X. In fact,* <sup>A</sup> : *<sup>X</sup>* <sup>→</sup> [*I*] <sup>×</sup> (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*) <sup>×</sup> *<sup>I</sup> is a mapping.*

*We can consider following special octahedron sets in X:*

+ 0, **<sup>0</sup>**¯, 0, = 0, ¨ + 0, **<sup>0</sup>**¯, 1, , + 0, **<sup>1</sup>**¯, 0, , + 1, **<sup>0</sup>**¯, 0, , + 0, **<sup>1</sup>**¯, 1, , + 1, **<sup>0</sup>**¯, 1, , + 1, **<sup>1</sup>**¯, 0, , + 1, **<sup>1</sup>**¯, 1, = 1¨*.*

*In this case,* 0¨ *[resp.,* 1¨*] is called an octahedron empty set [resp., octahedron whole set] in X. We denote the set of all octahedron sets as* O(*X*)*.*

It is obvious that for each *<sup>A</sup>* <sup>∈</sup> <sup>2</sup>*X*, *<sup>χ</sup>*<sup>A</sup> <sup>=</sup> [*χA*, *<sup>χ</sup>A*],(*χA*, *<sup>χ</sup>A<sup>c</sup>* ), *<sup>χ</sup><sup>A</sup>* ∈ O(*X*) and then 2*<sup>X</sup>* ⊂ O(*X*), where 2*<sup>X</sup>* denotes the set of all subsets of *X* and *χ<sup>A</sup>* denotes the characteristic function of *A*. Furthermore, we can easily see that for each **<sup>A</sup>** <sup>=</sup> *A*, *<sup>λ</sup>* ∈ C(*X*), **<sup>A</sup>** <sup>=</sup> *A*,(*A*−, *<sup>A</sup>*+), *<sup>λ</sup>*, **<sup>A</sup>** <sup>=</sup> *A*,(*λ*, *<sup>λ</sup>c*), *<sup>λ</sup>* ∈ O(*X*) and then <sup>C</sup>(*X*) ⊂ O(*X*). In this case, we denote *A*,(*A*−, *<sup>A</sup>*+), *<sup>λ</sup>* and *A*,(*λ*, *<sup>λ</sup>c*), *<sup>λ</sup>* as <sup>A</sup>*<sup>A</sup>* and <sup>A</sup>*λ*, respectively. In fact, we can consider octahedron sets as a generalization of cubic sets.

**Definition 4** ([10])**.** *Let X be a nonempty set and let* A = **A**, *A*, *λ*, B = **B**, *B*, *μ* ∈ O(*X*)*. Then we can define following order relations between* A *and* B*:*

*(i) (Equality)* A = B ⇔ **A** = **B**, *A* = *B*, *λ* = *μ, (ii) (Type 1-order)* A ⊂<sup>1</sup> B ⇔ **A** ⊂ **B**, *A* ⊂ *B, λ* ≤ *μ, (iii) (Type 2-order)* A ⊂<sup>2</sup> B ⇔ **A** ⊂ **B**, *A* ⊂ *B, λ* ≥ *μ, (iv) (Type 3-order)* A ⊂<sup>3</sup> B ⇔ **A** ⊂ **B**, *A* ⊃ *B, λ* ≤ *μ, (v) (Type 4-order)* A ⊂<sup>4</sup> B ⇔ **A** ⊂ **B**, *A* ⊃ *B, λ* ≥ *μ.*

**Definition 5** ([10])**.** *Let <sup>X</sup> be a nonempty set and let* (A*j*)*j*∈*<sup>J</sup>* = (- **A***j*, *Aj*, *λ<sup>j</sup>* . )*j*∈*<sup>J</sup> be a family of octahedron sets in X. Then the Type i-union* <sup>∪</sup>*<sup>i</sup> and Type i-intersection* <sup>∩</sup>*<sup>i</sup> of* (A*j*)*j*∈*J, (i* <sup>=</sup> 1, 2, , 3, 4*), are defined as follows, respectively:*

$$\begin{array}{ll} \text{(i) } (\text{Type } i\text{-union}) & \bigcup\_{j\in J}^{1} \mathcal{A}\_{j} = \left\langle \bigcup\_{j\in J} \mathbf{A}\_{j}, \bigcup\_{j\in J} A\_{j}, \bigcup\_{j\in J} \lambda\_{j} \right\rangle, \\ & \bigcup\_{j\in J}^{2} \mathcal{A}\_{j} = \left\langle \bigcup\_{j\in J} \mathbf{A}\_{j}, \bigcup\_{j\in J} A\_{j}, \bigcap\_{j\in J} \lambda\_{j} \right\rangle, \\ & \bigcup\_{j\in J}^{3} \mathcal{A}\_{j} = \left\langle \bigcup\_{j\in J} \mathbf{A}\_{j}, \bigcap\_{j\in J} A\_{j}, \bigcup\_{j\in J} \lambda\_{j} \right\rangle, \\ & \bigcup\_{j\in J}^{4} \mathcal{A}\_{j} = \left\langle \bigcup\_{j\in J} \mathbf{A}\_{j}, \bigcap\_{j\in J} A\_{j}, \bigcap\_{j\in J} \lambda\_{j} \right\rangle, \\ \text{(ii) } (\text{Type } i\text{-intersection}) & \bigcap\_{j\in J}^{1} \mathcal{A}\_{j} = \left\langle \bigcap\_{j\in J} \mathbf{A}\_{j}, \bigcap\_{j\in J} A\_{j}, \bigcap\_{j\in J} \lambda\_{j} \right\rangle, \\ & \bigcap\_{j\in J}^{2} \mathcal{A}\_{j} = \left\langle \bigcap\_{j\in J} \mathbf{A}\_{j}, \bigcap\_{j\in J} A\_{j}, \bigcup\_{j\in J} \lambda\_{j} \right\rangle, \end{array}$$

$$\begin{array}{l}\cap\_{j\in J}^{3}\mathcal{A}\_{j} = \left\langle\bigcap\_{j\in J} \mathbf{A}\_{j\prime}\cup\bigcup\_{j\in J} \mathbf{A}\_{j\prime}\cap\_{j\in J}\lambda\_{j}\right\rangle,\\\cap\_{j\in J}^{4}\mathcal{A}\_{j} = \left\langle\bigcap\_{j\in J} \mathbf{A}\_{j\prime}\cup\bigcup\_{j\in J} \mathbf{A}\_{j\prime}\cup\bigcup\_{j\in J}\lambda\_{j}\right\rangle.\end{array}$$

**Definition 6** ([10])**.** *Let X be a nonempty set and let* A = **A**, *A*, *λ be an octahedron set in X. Then the complement* <sup>A</sup>*c, operators* [ ] *and of* <sup>A</sup> *are defined as follows, respectively: for each x* <sup>∈</sup> *X,*

*(i)* <sup>A</sup>*<sup>c</sup>* <sup>=</sup> **A***c*, *<sup>A</sup>c*, *<sup>λ</sup><sup>c</sup>, (ii)* [ ]A = **A**, [ ]*A*, *λ, (iii)* A = **A**, *A*, *λ.*

**Definition 7** ([10])**.** *Let* <sup>A</sup> <sup>=</sup> **A**, *<sup>A</sup>*, *<sup>λ</sup>* <sup>∈</sup> *<sup>O</sup>*(*X*)*, let <sup>a</sup>*¯ <sup>=</sup> *<sup>a</sup>*, *<sup>a</sup>*¯, *<sup>a</sup>* <sup>∈</sup> [*I*] *be an octahedron number such that <sup>a</sup>*<sup>+</sup> <sup>&</sup>gt; <sup>0</sup>*, <sup>a</sup>*¯ <sup>∈</sup> *<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup> with <sup>a</sup>*¯ <sup>=</sup> 0¯*, <sup>a</sup>* <sup>∈</sup> *<sup>I</sup> with <sup>a</sup>* <sup>=</sup> <sup>0</sup>*. Then <sup>A</sup> is called an octahedron point with the support <sup>x</sup>* <sup>∈</sup> *<sup>X</sup> and the value a, denoted by A* ¯ <sup>=</sup> *<sup>x</sup><sup>a</sup>*¯*, if for each y* <sup>∈</sup> *X,*

$$x\_{\overline{\mathfrak{a}}}(y) = \begin{cases} \begin{array}{c} \overline{\mathfrak{a}} \\ \langle \overline{0}, 0, 0 \rangle \end{array} & \text{if } y = x \\ \end{cases}$$

*The set of all octahedron points in X is denoted by* O*P*(*X*)*.*

**Definition 8** ([16])**.** *Let* (*X*, ·) *be a groupoid and let <sup>λ</sup>*, *<sup>μ</sup>* <sup>∈</sup> *<sup>I</sup>X. Then the product of <sup>λ</sup> and <sup>μ</sup>, denoted by λ* ◦*<sup>F</sup> μ, is a fuzzy set in X defined as follows: for each x* ∈ *X,*

$$(\lambda \circ\_F \mu)(x) = \begin{cases} \bigvee\_{y=x, \ y, \ z \in X} [\lambda(y) \wedge \mu(z)] \,\,\,\forall \, y = x\\ 0 & \text{otherwise.} \end{cases}$$

**Definition 9** ([17])**.** *Let* (*X*, ·) *be a groupoid and let <sup>A</sup>*, *<sup>B</sup>* <sup>∈</sup> (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*)*X. Then the product of <sup>A</sup> and B, denoted by A* ◦*IF B, is an IF set in X defined as follows: for each x* ∈ *X,*

$$= \begin{cases} (A \circ\_{I\mathcal{F}} B)(\mathbf{x}) \\ \quad \cdot \in \begin{cases} (\bigvee\_{y\simeq \mathbf{x},\mathbf{y},\boldsymbol{z}\in X} [A^{\in}(\boldsymbol{y}) \wedge B^{\in}(\boldsymbol{z})], \bigwedge\_{y\simeq \mathbf{x},\mathbf{y},\boldsymbol{z}\in X} [A^{\notin}(\boldsymbol{y}) \wedge B^{\notin}(\boldsymbol{z})] \text{ if } yz = \mathbf{x} \\ \quad \text{(0,1)} \end{cases} \\ \text{otherwise.} \end{cases}$$

**Definition 10** ([18])**.** *Let* (*X*, ·) *be a groupoid and let* **A**, **B** ∈ [*I*] *X. Then the product of* **A** *and* **B***, denoted by* **A** ◦*IV* **B***, is an IVF set in X defined as follows: for each x* ∈ *X,*

$$= \begin{cases} (\mathbf{A}\circ\_{IV}\mathbf{B})(\mathbf{x}) \\ \quad \left[ \begin{array}{c} \bigvee\_{\mathbf{y}\simeq\mathbf{x},\mathbf{y},\mathbf{z}\in\mathbf{X}} [A^{-}(\mathbf{y})\wedge B^{-}(\mathbf{z})], \bigvee\_{\mathbf{y}\simeq\mathbf{x},\mathbf{y},\mathbf{z}\in\mathbf{X}} [A^{+}(\mathbf{y})\wedge B^{+}(\mathbf{z})] \text{ } \text{if } \mathbf{y}\mathbf{z} = \mathbf{x} \right] \\ \quad \left[ \begin{array}{c} \bigvee\_{\mathbf{y}\neq\mathbf{y}} \omega\_{\mathbf{x}} \end{array} \text{otherwise} \end{cases} \end{cases}$$

#### **3. Octahedron Subgroupoids**

In this section, we list the product of fuzzy sets [resp., intuitionistic fuzzy sets and interval-valued fuzzy sets] and we define the product of octahedron sets by using each product. Next we introduce the concepts of octahedron subgroupoid and octahedron ideal in a groupoid *X*, and find some of their properties and give some examples.

Throughout this section and next section, for an octahedron set <sup>A</sup> <sup>=</sup> **A**, *<sup>A</sup>*, *<sup>λ</sup>* in a set *<sup>X</sup>*, <sup>A</sup> <sup>=</sup> 0¨ [resp., + 0, **<sup>0</sup>**¯, 1, , + 0, **<sup>1</sup>**¯, 0, and + 0, **<sup>1</sup>**¯, 1, ] means that

**<sup>A</sup>** <sup>=</sup> 0, *<sup>A</sup>* <sup>=</sup> **<sup>0</sup>**¯, *<sup>λ</sup>* <sup>=</sup> 0 [resp., **<sup>A</sup>** <sup>=</sup> 0, *<sup>A</sup>* <sup>=</sup> **<sup>0</sup>**¯, *<sup>λ</sup>* <sup>=</sup> 1 ; **<sup>A</sup>** <sup>=</sup> 0, *<sup>A</sup>* <sup>=</sup> **<sup>1</sup>**¯, *<sup>λ</sup>* <sup>=</sup> 0 and **<sup>A</sup>** <sup>=</sup> 0, *<sup>A</sup>* <sup>=</sup> **<sup>1</sup>**¯, *<sup>λ</sup>* <sup>=</sup> 1]. Based on the order relations (Oi), (Oii), (Oiii), (Oiv) and (Ov), we can define the inf and the sup of octahedron numbers as follows:

$$\begin{array}{l} \textbf{Definition 11.} \ L \textit{at } \widetilde{\textit{a}}, \,\,\widetilde{\textit{b}} \in [I] \times (I \oplus I) \times I. \,\,\textit{Then} \\\ (i) \,\,\widetilde{\textit{a}} \wedge^{1} \widetilde{\textit{b}} = \langle \left[ a^{-} \wedge b^{-}, a^{+} \wedge b^{+} \right], \left( a^{\in} \wedge b^{\in}, a^{\notin} \vee b^{\notin} \right), a \wedge b \rangle, \end{array}$$

$$\begin{array}{lcl}\widetilde{a}\wedge^{2}\widetilde{b} &= \langle [a^{-}\wedge b^{-},a^{+}\wedge b^{+}], (a^{\in}\wedge b^{\in},a^{\notin}\wedge b^{\notin}), a\wedge b\rangle, \\\widetilde{a}\wedge^{3}\widetilde{b} &= \langle [a^{-}\wedge b^{-},a^{+}\wedge b^{+}], (a^{\in}\vee b^{\in},a^{\notin}\wedge b^{\notin}), a\wedge b\rangle, \\\widetilde{a}\wedge^{4}\widetilde{b} &= \langle [a^{-}\wedge b^{-},a^{+}\wedge b^{+}], (a^{\in}\vee b^{\in},a^{\notin}\wedge b^{\notin}), a\vee b\rangle, \\\widetilde{a}\wedge^{1}\widetilde{b} &= \langle [a^{-}\vee b^{-},a^{+}\vee b^{+}], (a^{\in}\vee b^{\in},a^{\notin}\wedge b^{\notin}), a\vee b\rangle, \\\widetilde{a}\vee^{2}\widetilde{b} &= \langle [a^{-}\vee b^{-},a^{+}\vee b^{+}], (a^{\in}\vee b^{\in},a^{\notin}\wedge b^{\notin}), a\wedge b\rangle, \\\widetilde{a}\vee^{3}\widetilde{b} &= \langle [a^{-}\vee b^{-},a^{+}\vee b^{+}], (a^{\in}\wedge b^{\in},a^{\notin}\wedge b^{\notin}), a\vee b\rangle, \\\widetilde{a}\vee^{4}\widetilde{b} &= \langle [a^{-}\vee b^{-},a^{+}\vee b^{+}], (a^{\in}\wedge b^{\in},a^{\notin}\wedge b^{\notin}), a\wedge b\rangle. \end{array}$$

By using Definition 11, we can find the product of two octahedron sets as follows:

**Definition 12.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ*, B = **B**, *B*, *μ* ∈ O(*X*)*. Then the i-product of* A *and* B*, denoted by* A ◦*<sup>i</sup>* B *(i* = 1, 2, , 3, 4*), is an octahedron set in X defined as follows: for each x* ∈ *X,*

$$(\mathcal{A}\circ\_1 \mathcal{B})(\mathbf{x}) = \begin{cases} \bigvee\_{y \le \mathbf{x} \le \mathbf{x}}^1 y, \operatorname{z}\in[\mathcal{A}(y)\wedge^1 \mathcal{B}(z)] \text{ if } yz = \mathbf{x} \text{ for some } y, z \in X\\ \mathbf{0} & \text{otherwise,} \end{cases}$$

$$(\mathcal{A}\circ\_2 \mathcal{B})(\mathbf{x}) = \begin{cases} \bigvee\_{y \le \mathbf{x} = \mathbf{x}, \ y, z \in X}^2 [\mathcal{A}(y)\wedge^2 \mathcal{B}(z)] \text{ if } yz = \mathbf{x} \text{ for some } y, z \in X\\ \langle [0,0], \langle 0,1 \rangle, 1 \rangle & \text{otherwise,} \end{cases}$$

$$(\mathcal{A}\circ\_3 \mathcal{B})(\mathbf{x}) = \begin{cases} \bigvee\_{y \le \mathbf{x} = \mathbf{x}, \ y, z \in X}^3 [\mathcal{A}(y)\wedge^3 \mathcal{B}(z)] \text{ if } yz = \mathbf{x} \text{ for some } y, z \in X\\ \langle [0,0], [1,0,0] \rangle & \text{otherwise,} \end{cases}$$

$$(\mathcal{A}\circ\_4 \mathcal{B})(\mathbf{x}) = \begin{cases} \bigvee\_{y \le \mathbf{x} = \mathbf{x}, \ y, z \in X}^4 [\mathcal{A}(y)\wedge^4 \mathcal{B}(z)] \text{ if } yz = \mathbf{x} \text{ for some } y, z \in X\\ \langle [0,0], (1,0), 1 \rangle & \text{otherwise.} \end{cases}$$

**Remark 1.** *From Definitions 8–12, we can easily see that followings hold:*

*(1)* A ◦<sup>1</sup> B = **A** ◦*IV* **B**, *A* ◦*IF B*, *λ* ◦*<sup>F</sup> μ*, *(2)* A ◦<sup>2</sup> B = **A** ◦*IV* **B**, *A* ◦*IF B*, *λ* ◦<sup>2</sup> *μ*, *where*

$$(\lambda \circ\_2 \mu)(\mathbf{x}) = \begin{cases} \bigwedge\_{yz=x, \, y, \, z \in X} [\lambda(y) \vee \mu(z)] \,\, \text{if } yz = \mathbf{x} \text{ } \text{ for some} \quad y, z \in X\\ 1 & \text{otherwise,} \end{cases}$$

*(3)* A ◦<sup>3</sup> B = **A** ◦*IV* **B**, *A* ◦<sup>3</sup> *B*, *λ* ◦*<sup>F</sup> μ*, *where*

$$(A \circ\_3 B)(\mathbf{x}) = \begin{cases} (\bigwedge\_{\mathbf{y} \simeq \mathbf{x}, \mathbf{y}, \mathbf{z} \in X} [A^{\in}(\mathbf{y}) \vee B^{\in}(\mathbf{z})], \bigvee\_{\mathbf{y} \simeq \mathbf{x}, \mathbf{y}, \mathbf{z} \in X} [A^{\notin}(\mathbf{y}) \wedge B^{\notin}(\mathbf{z})] \bigvee \mathbf{y} \mathbf{z} = \mathbf{x}, \\\ (1, 0) & \text{for some } \mathbf{y}, \mathbf{z} \in X \\\ (1, 0) & \text{otherwise}, \end{cases}$$

$$(4)\ \mathcal{A}\circ\_4 \mathcal{B} = \langle \mathbf{A}\circ\_{IV} \mathbf{B}, A\circ\_3 B, \lambda\circ\_2 \mu\rangle\ldots$$

**Example 1.** *Let X* = {*a*, *b*, *c*} *be the groupoid with the following Cayley Table 1:*


*Consider two octahedron sets* A *and* B *in X, respectively given by:*

A(*a*) = [0.3, 0.6],(0.7, 0.2), 0.5, A(*b*) = [0.2, 0.4],(0.6, 0.3), 0.7,

A(*c*) = [0.4, 0.7],(0.5, 0.4), 0.3, B(*a*) = [0.2, 0.6],(0.6, 0.3), 0.7, B(*b*) = [0.3, 0.5],(0.5, 0.2), 0.6, B(*c*) = [0.4, 0.7],(0.7, 0.2), 0.8. *Then we can easily calculate* A ◦*<sup>i</sup>* B *with Tables 2 and 3:*


**Table 2.** (A ◦<sup>1</sup> B)(*t*) and (A ◦<sup>2</sup> B)(*t*).

**Table 3.** (A ◦<sup>3</sup> B)(*t*) and (A ◦<sup>4</sup> B)(*t*).


**Proposition 1.** *Let* (*X*, ·) *be a groupoid, let* <sup>A</sup> <sup>=</sup> **A**, *<sup>A</sup>*, *<sup>λ</sup>*, <sup>B</sup> <sup>=</sup> **B**, *<sup>B</sup>*, *<sup>μ</sup>* ∈ O(*X*) *and let <sup>x</sup><sup>a</sup>*¯ <sup>=</sup> *<sup>x</sup><sup>a</sup>*,*a*¯,*<sup>a</sup>*, *<sup>y</sup>*¯ *<sup>b</sup>* <sup>=</sup> *<sup>y</sup><sup>b</sup>*,¯ *<sup>b</sup>*,*<sup>b</sup>* ∈ O*P*(*X*)*. Then we have*

(1) *<sup>x</sup><sup>a</sup>*¯ ◦*<sup>i</sup> <sup>y</sup>*¯ *<sup>b</sup>* = (*xy*) *<sup>a</sup>*¯∧*<sup>i</sup>*¯ *b , for i* = 1, 2, 3, 4*, i.e.,*

$$\begin{array}{lcl} \mathbf{x}\_{\overline{a}} \circ\_{1} \mathbf{y}\_{\overline{b}} = \left\langle (\mathbf{x} \mathbf{y})\_{\overline{a} \cap \overline{b}'} (\mathbf{x} \mathbf{y})\_{\overline{a} \wedge b'} (\mathbf{x} \mathbf{y})\_{a \wedge b} \right\rangle \circ\_{\overline{a}} \mathbf{x}\_{\overline{b}} = \left\langle (\mathbf{x} \mathbf{y})\_{\overline{a} \wedge \overline{b'}} (\mathbf{x} \mathbf{y})\_{a \wedge b'} (\mathbf{x} \mathbf{y})\_{a \vee b} \right\rangle, \\\\ \mathbf{x}\_{\overline{a}} \circ\_{3} \mathbf{y}\_{\overline{b}} = \left\langle (\mathbf{x} \mathbf{y})\_{\overline{a} \wedge \overline{b'}} (\mathbf{x} \mathbf{y})\_{\overline{a} \vee b'} (\mathbf{x} \mathbf{y})\_{a \wedge b} \right\rangle, \mathbf{x}\_{\overline{a}} \circ\_{4} \mathbf{y}\_{\overline{b}} = \left\langle (\mathbf{x} \mathbf{y})\_{\overline{a} \wedge \overline{b'}} (\mathbf{x} \mathbf{y})\_{\overline{a} \vee b'} (\mathbf{x} \mathbf{y})\_{a \vee b} \right\rangle, \\\\ \mathbf{b} \circ\_{1} \mathbf{B} = \bigcup\_{\overline{a} \wedge \overline{a} \wedge \overline{b'}} \mathbf{x}\_{\overline{a}} \mathbf{y}\_{\overline{b}} \mathbf{x}\_{\overline{a}} \circ\_{i} \mathbf{y}\_{\overline{b}'} \text{ for } i = 1, 2, 3, 4. \end{array}$$

**Proof.** (1) The proofs are obvious from Definitions 7 and 12.

(2) Case 1: Let *i* = 1. Then the proof of the first part follows from Proposition 1.1 [16], Proposition 2.2 [17] and Proposition 3.2 [18].

Case 2: Let *i* = 2. From Remark 3.5 (2), it is sufficient to prove that *λ* ◦<sup>2</sup> *μ* = / *xa*∈2*λ*, *yb*∈2*<sup>μ</sup> xa* ◦<sup>2</sup> *yb*. Let *C* = / *xa*∈2*λ*,*yb*∈2*<sup>μ</sup> xa* ◦<sup>2</sup> *yb*. For each *<sup>z</sup>* ∈ *<sup>X</sup>*, we may suppose that there are *<sup>u</sup>*, *<sup>v</sup>* ∈ *<sup>X</sup>* such that *uv* = *<sup>z</sup>*, *xa* = 1 and *yb* = 1 without loss of generality. Then

(*λ* ◦<sup>2</sup> *μ*)(*z*) = *<sup>z</sup>*=*uv*[*λ*(*u*) ∨ *μ*(*v*)] ≤ *<sup>z</sup>*=*uv*( *xa*∈2*λ*, *yb*∈2*μ*[*xa*(*u*) ∨ *yb*(*v*)]) = *xa*∈2*λ*, *yb*∈2*μ*( *<sup>z</sup>*=*uv*[*xa*(*u*) ∨ *yb*(*v*)]) = (/ *xa*∈2*λ*, *yb*∈2*<sup>μ</sup> xa* ◦<sup>2</sup> *yb*)(*z*) = *C*. Since *uλ*(*u*) ∈<sup>2</sup> *λ* and *vμ*(*v*) ∈<sup>2</sup> *μ*, ( / *xa*∈2*λ*, *yb*∈2*<sup>μ</sup> xa* ◦<sup>2</sup> *yb*)(*z*) = *xa*∈2*λ*, *yb*∈2*μ <sup>z</sup>*=*uv*[*xa*(*u*) ∨ *yb*(*v*)] ≤ *<sup>z</sup>*=*uv*[*uλ*(*u*)(*u*) ∨ *vμ*(*v*)(*v*)] = *<sup>z</sup>*=*uv*[*λ*(*u*) ∨ *μ*(*v*)] = (*λ* ◦<sup>2</sup> *μ*)(*z*). Thus, (*<sup>λ</sup>* ◦<sup>2</sup> *<sup>μ</sup>*)(*z*) = *<sup>C</sup>*(*z*). So A ◦<sup>2</sup> <sup>B</sup> <sup>=</sup> <sup>2</sup> *<sup>x</sup><sup>a</sup>*¯∈2A, *<sup>y</sup>*¯ *b* <sup>∈</sup>2<sup>B</sup> *<sup>x</sup><sup>a</sup>*¯ ◦<sup>2</sup> *<sup>y</sup>*¯ *b* . Case 3: Let *i* = 3. From Remark 1 (3), it is sufficient to prove that

$$A \circ\_{\mathfrak{Z}} B = \left( \bigcap\_{\mathbf{x}\_{\mathfrak{a}} \in\_{\mathfrak{Z}} A\_{\mathbf{r}}} \mathbf{x}\_{\mathfrak{a}} \circ\_{\mathfrak{Z}} y\_{\mathfrak{b}}, \bigcup\_{\mathbf{x}\_{\mathfrak{a}} \in\_{\mathfrak{Z}} A\_{\mathbf{r}}} \mathbf{x}\_{\mathfrak{a}} \circ\_{\mathfrak{Z}} y\_{\mathfrak{b}} \right),$$

where (*A* ◦<sup>3</sup> *B*)<sup>∈</sup> = / *xa*∈3*A*, *yb*∈3*<sup>B</sup> xa* ◦<sup>3</sup> *yb* and (*<sup>A</sup>* ◦<sup>3</sup> *<sup>B</sup>*)∈ = *xa*∈3*A*, *yb*∈3*<sup>B</sup> xa* ◦<sup>3</sup> *yb*. Let *z* ∈ *X*. Then from the proof of Case 2 and Proposition 1.1 [16] (ii), we have

$$(A \circ\_3 B)^{\in}(z) = (\bigcap\_{\mathbf{x}\_d \in \jmath A, \ y\_b \in \_3 B} \mathbf{x}\_d \circ\_3 y\_b)(z), \\
(A \circ\_3 B)^{\notin}(z) = (\bigcup\_{\mathbf{x}\_d \in \jmath A, \ y\_b \in \_3 B} \mathbf{x}\_d \circ\_3 y\_b)(z).$$

Thus, A ◦<sup>3</sup> <sup>B</sup> <sup>=</sup> <sup>3</sup> *<sup>x</sup><sup>a</sup>*¯∈3A, *<sup>y</sup>*¯ *b* <sup>∈</sup>3<sup>B</sup> *<sup>x</sup><sup>a</sup>*¯ ◦<sup>3</sup> *<sup>y</sup>*¯ *b* . For *i* = 4, from Cases 2 and 3, the proof is obvious.

The followings are immediate results of Definition 12.

**Proposition 2.** *Let* (*X*, ·) *be a groupoid and let i* = 1, 2, 3, 4*.* (1) *If "*·*" is associative [resp., commutative] in X, then so is "*◦*i" in* O(*X*)*.* (2) *If "*·*" has an identity e* ∈ *X, then we have* (2*a*) *e*1¨ ∈ O*P*(*X*) *is an identity of "*◦1*" in* O(*X*)*, i.e.,* A ◦ *e*1¨ = *e*1¨ ◦ A = A*, for each* A∈O(*X*)*,* (2*b*) *e* 1,**1**¯,0 ∈ O*P*(*X*) *is an identity of "*◦2*" in* <sup>O</sup>(*X*)*, i.e.,* A ◦ *e* 1,**1**¯,0 <sup>=</sup> *<sup>e</sup>* 1,**1**¯,0 ◦ A <sup>=</sup> <sup>A</sup>*, for each* A∈O(*X*)*,* (2*c*) *e* 1,**0**¯,1 ∈ O*P*(*X*) *is an identity of "*◦3*" in* <sup>O</sup>(*X*)*, i.e.,* A ◦ *e* 1,**0**¯,1 <sup>=</sup> *<sup>e</sup>* 1,**0**¯,1 ◦ A <sup>=</sup> <sup>A</sup>*, for each* A∈O(*X*)*,* (2*d*) *e* 1,**0**¯,0 ∈ O*P*(*X*) *is an identity of "*◦4*" in* <sup>O</sup>(*X*)*, i.e.,* A ◦ *e* 1,**0**¯,0 <sup>=</sup> *<sup>e</sup>* 1,**0**¯,0 ◦ A <sup>=</sup> <sup>A</sup>*, for each* A∈O(*X*)*.*

**Definition 13.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ* ∈ O(*X*)*. Then (i)* 0¨ <sup>=</sup> <sup>A</sup> *is called a* <sup>1</sup>*-octahedron subgroupoid in X, if* A ◦<sup>1</sup> A ⊂<sup>1</sup> <sup>A</sup>*, i.e.,*

**A** ◦*IV* **A** ⊂ **A**, *A* ◦*IF A* ⊂ *A*, *λ* ◦*<sup>F</sup> λ* ⊂ *λ*,

*(ii)* + 0, **<sup>0</sup>**¯, 1, <sup>=</sup> <sup>A</sup> *is called a* <sup>2</sup>*-octahedron subgroupoid in X, if* A ◦<sup>2</sup> A ⊂<sup>2</sup> <sup>A</sup>*, i.e.,*

$$\mathbf{A} \circ\_{IV} \mathbf{A} \subset \mathbf{A}, \ A \circ\_{IF} A \subset A, \ \lambda \circ\_2 \lambda \supset \lambda\_\prime$$

*(iii)* + 0, **<sup>1</sup>**¯, 0, <sup>=</sup> <sup>A</sup> *is called a* <sup>3</sup>*-octahedron subgroupoid in X, if* A ◦<sup>3</sup> A ⊂<sup>3</sup> <sup>A</sup>*, i.e.,*

$$\mathbf{A} \circ\_{IV} \mathbf{A} \subset \mathbf{A}, \ A \circ\_{\mathcal{B}} A \supset A, \ \lambda \circ\_{\mathcal{F}} \lambda \subset \lambda\_{\prime}$$

*(iv)* + 0, **<sup>1</sup>**¯, 1, <sup>=</sup> <sup>A</sup> *is called a* <sup>4</sup>*-octahedron subgroupoid in X, if* A ◦<sup>4</sup> A ⊂<sup>4</sup> <sup>A</sup>*, i.e.,*

**A** ◦*IV* **A** ⊂ **A**, *A* ◦<sup>3</sup> *A* ⊃ *A*, *λ* ◦<sup>2</sup> *λ* ⊃ *λ*.

*We will denote the set of all i-octahedron subgroupoids in X as OGPi*(*X*) *(i* = 1, 2, 3, 4*).*

Let us denote the set of all fuzzy [resp., intuitionistic fuzzy, interval-valued fuzzy] subgroupoids in a groupoid *X* in the sense of Liu [16] [resp., Hur et al. [17], Kang and Hur [18]] as *FGP*(*X*) [resp., *IFGP*(*X*), *IVGP*(*X*)].

**Remark 2.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ* ∈ O(*X*). *Then (1)* A ∈ *OGP*1(*X*) *if and only if* **A** ∈ *IVGP*(*X*), *A* ∈ *IFGP*(*X*), *λ* ∈ *FGP*(*X*)*, (2)* A ∈ *OGP*2(*X*) *if and only if* **A** ∈ *IVGP*(*X*), *A* ∈ *IFGP*(*X*), *λ* ◦<sup>2</sup> *λ* ⊃ *λ*, *(3)* A ∈ *OGP*3(*X*) *if and only if* **A** ∈ *IVGP*(*X*), *A* ◦<sup>3</sup> *A* ⊃ *A*, *λ* ∈ *FGP*(*X*), *(4)* A ∈ *OGP*3(*X*) *if and only if* **A** ∈ *IVGP*(*X*), *A* ◦<sup>3</sup> *A* ⊃ *A*, *λ* ◦<sup>2</sup> *λ* ⊃ *λ*.

**Example 2.** *(1) Let* (*X*,·) *be the subgroupoid and let* A *be the octahedron set in X given in Example 1. Then we can easily calculate that*

$$(\mathbf{A}\circ\_{IV}\mathbf{A})(a) = [0.4, 0.7] \not\subseteq [0.3, 0.6] = \mathbf{A}(a),$$

$$(\lambda \circ\_2 \lambda)(a) = 0.3 \not\ge 0.5 = \lambda(a),$$

$$(A\circ\_3 A)(a) = (0.5, 0.4) \not\ge (0.7, 0.2) = A(a).$$

*Thus,* A ∈ *OGPi*(*X*), *for i* = 1, 2, 3, 4*.*

*(2) Let X* = {*a*, *b*, *c*} *be the groupoid with the following Cayley Table 4:*



*Consider the octahedron set* A *in X given in Example 1. Then we can easily see that* A ∈ *OGPi*(*X*) *for i* = 1, 2 *but* A ∈ *OGPi*(*X*) *for i* = 3, 4*.*

*(3) Let* (*X*, ·) *be a groupoid and let* **A** ∈ *IVGP*(*X*)*. Then clearly,* O**<sup>A</sup>** ∈ *OGP*1(*X*), *where* O**<sup>A</sup>** *is the octahedron set in X induced by* **A** *(See Example 3.2 (3) in [10]).*

*(4) Let* (*X*, ·) *be a groupoid and let A* ∈ *IFGP*(*X*)*. Then clearly,* O*<sup>A</sup>* ∈ *OGP*1(*X*), *where* O*<sup>A</sup> is the octahedron set in X induced by A (See Example 3.2 (4) in [10]).*

*(5) Let* (*X*, ·) *be a groupoid and let* A ∈ *OGPi*(*X*)*. Then clearly,* [ ]A, A∈ *OGPi*(*X*) *(i* = 1, 2, 3, 4*).*

The followings are immediate results of Definitions 11–13, Proposition 2 (2) and Remark 2 (1).

**Theorem 1.** *Let* (*X*, ·) *be a groupoid and let* 0¨ <sup>=</sup> <sup>A</sup> <sup>=</sup> **A**, *<sup>A</sup>*, *<sup>λ</sup>* ∈ O(*X*)*. Then the followings are equivalent:* (1) A ∈ *OGP*1(*X*)*,*

	- (i) *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∧</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∧</sup> *<sup>A</sup>*+(*y*),
	- (ii) *A*∈(*xy*) ≥ *A*∈(*x*) ∧ *A*∈(*y*), *A*∈(*xy*) ≤ *A*∈(*x*) ∨ *A*∈(*y*),
	- (iii) *λ*(*xy*) ≥ *λ*(*x*) ∧ *λ*(*y*).

From Definitions 8–10, Remark 1 (1) and the above proposition, it is obvious that (A, ◦1) is a groupoid if and only if (**A**, ◦*IV*), (*A*, ◦*IF*) and (*λ*, ◦*F*) are groupoids.

**Proposition 3.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ* ∈ *OGP*1(*X*)*.* (1) *If "*·*" is associative in X, then so is "*◦1*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *b* , *<sup>z</sup><sup>c</sup>*¯ ∈ A,

$$(\mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_1 \mathfrak{y}\_{\overline{\mathfrak{b}}}) \circ\_1 \mathfrak{z}\_{\overline{\mathfrak{c}}} = \mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_1 (\mathfrak{y}\_{\overline{\mathfrak{b}}} \circ\_1 \mathfrak{z}\_{\overline{\mathfrak{c}}}) \mathsf{y}$$

(2) *If "*·*" is commutative in X, then so is "*◦1*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A,

$$\propto\_{\overline{\mathfrak{a}}} \circ\_1 y\_{\overline{\mathfrak{b}}} = y\_{\overline{\mathfrak{b}}} \circ\_1 \propto\_{\overline{\mathfrak{a}}'} \overline{\mathfrak{a}}$$

(3) *If "*·*" has an identity e* <sup>∈</sup> *X, then for each x<sup>a</sup>*¯ ∈ A,

$$e\_{\overline{1}} \circ\_1 \mathfrak{x}\_{\overline{1}} = \mathfrak{x}\_{\overline{\mathfrak{a}}} = \mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_1 e\_{\overline{1}}.$$

The followings are immediate consequences of Definitions 11–13, Proposition 2 (2) and Remark 2 (2).

**Theorem 2.** *Let* (*X*, ·) *be a groupoid and let* <sup>+</sup> 0, **<sup>0</sup>**¯, 1, = A = **A**, *A*, *λ* ∈ O(*X*)*. Then the followings are equivalent:*

(1) A ∈ *OGP*2(*X*)*,* (2) *for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A*, x<sup>a</sup>*¯ ◦<sup>2</sup> *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A, *i.e.,* (A, ◦2) *is a groupoid,* (3) *for every x*, *<sup>y</sup>* <sup>∈</sup> *X,* <sup>A</sup>(*xy*) ≥ A(*x*) <sup>∧</sup><sup>2</sup> <sup>A</sup>(*y*), *i.e.,* (i) *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∧</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∧</sup> *<sup>A</sup>*+(*y*), (ii) *A*∈(*xy*) ≥ *A*∈(*x*) ∧ *A*∈(*y*), *A*∈(*xy*) ≤ *A*∈(*x*) ∨ *A*∈(*y*), (iii) *λ*(*xy*) ≤ *λ*(*x*) ∨ *λ*(*y*).

**Proposition 4.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ* ∈ *OGP*2(*X*)*.* (1) *If "*·*" is associative in X, then so is "*◦2*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *b* , *<sup>z</sup><sup>c</sup>*¯ ∈ A,

$$(\mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_2 \underline{y\_{\overline{\mathfrak{b}}}}) \circ\_2 \underline{z\_{\overline{\mathfrak{c}}}} = \mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_2 (y\_{\overline{\mathfrak{b}}} \circ\_2 \underline{z\_{\overline{\mathfrak{c}}}})\_{\mathsf{c}}$$

(2) *If "*·*" is commutative in X, then so is "*◦2*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A,

> *<sup>x</sup><sup>a</sup>*¯ ◦<sup>2</sup> *<sup>y</sup>*¯ *<sup>b</sup>* <sup>=</sup> *<sup>y</sup>*¯ *<sup>b</sup>* ◦<sup>2</sup> *<sup>x</sup><sup>a</sup>*¯,

(3) *If "*·*" has an identity e* <sup>∈</sup> *X, then for each x<sup>a</sup>*¯ ∈ A,

$$\mathfrak{e}\_{\langle \overline{1}, \overline{1}, 0 \rangle} \circ\_2 \mathfrak{x}\_{\overline{\mathfrak{a}}} = \mathfrak{x}\_{\overline{\mathfrak{a}}} = \mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_2 \mathfrak{e}\_{\langle \overline{1}, \overline{1}, 0 \rangle}.$$

The followings are immediate consequences of Definitions 11–13, Proposition 2 (3) and Remark 2 (3).

**Theorem 3.** *Let* (*X*, ·) *be a groupoid and let* <sup>+</sup> 0, **<sup>1</sup>**¯, 0, = A = **A**, *A*, *λ* ∈ O(*X*)*. Then the followings are equivalent:*

(1) A ∈ *OGP*3(*X*)*,* (2) *for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A*, x<sup>a</sup>*¯ ◦<sup>3</sup> *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A, *i.e.,* (A, ◦3) *is a groupoid,* (3) *for every x*, *<sup>y</sup>* <sup>∈</sup> *X,* <sup>A</sup>(*xy*) ≥ A(*x*) <sup>∧</sup><sup>3</sup> <sup>A</sup>(*y*), *i.e.,* (i) *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∧</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∧</sup> *<sup>A</sup>*+(*y*), (ii) *A*∈(*xy*) ≤ *A*∈(*x*) ∨ *A*∈(*y*), *A*∈(*xy*) ≥ *A*∈(*x*) ∧ *A*∈(*y*), (iii) *λ*(*xy*) ≥ *λ*(*x*) ∧ *λ*(*y*).

**Proposition 5.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ* ∈ *OGP*3(*X*)*.* (1) *If "*·*" is associative in X, then so is "*◦3*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *b* , *<sup>z</sup><sup>c</sup>*¯ ∈ A,

$$(\mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_{\overline{\mathfrak{b}}} y\_{\overline{\mathfrak{b}}}) \circ\_{\mathfrak{3}} z\_{\overline{\mathfrak{c}}} = \mathfrak{x}\_{\overline{\mathfrak{a}}} \circ\_{\mathfrak{3}} (y\_{\overline{\mathfrak{b}}} \circ\_{\mathfrak{3}} z\_{\overline{\mathfrak{c}}}) \mathsf{a}$$

(2) *If "*·*" is commutative in X, then so is "*◦3*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A,

$$\chi\_{\overline{\mathfrak{d}}} \circ\_3 \underline{\mathfrak{y}}\_{\overline{\mathfrak{b}}} = \underline{\mathfrak{y}}\_{\overline{\mathfrak{b}}} \circ\_3 \underline{\mathfrak{x}}\_{\overline{\mathfrak{d}}'} $$

(3) *If "*·*" has an identity e* <sup>∈</sup> *X, then for each x<sup>a</sup>*¯ ∈ A,

$$\mathcal{C}\langle \bar{1}\mathfrak{J}, 1\rangle \,\, ^{\odot\_{\mathfrak{J}}}\mathfrak{x}\_{\overline{\mathfrak{l}}} = \mathfrak{x}\_{\overline{\mathfrak{l}}} = \mathfrak{x}\_{\overline{\mathfrak{l}}} \,\, ^{\odot\_{\mathfrak{J}}}\mathfrak{C}\langle \bar{1}\mathfrak{J}, 1\rangle \,\, ^{\odot\_{\mathfrak{l}}}\mathfrak{l}$$

The followings are immediate consequences of Definitions 11–13, Proposition 2 (4) and Remark 2 (4).

**Theorem 4.** *Let* (*X*, ·) *be a groupoid and let* <sup>+</sup> 0, **<sup>1</sup>**¯, 1, = A = **A**, *A*, *λ* ∈ O(*X*)*. Then the followings are equivalent:*

(1) A ∈ *OGP*4(*X*)*,* (2) *for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A*, x<sup>a</sup>*¯ ◦<sup>3</sup> *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A, *i.e.,* (A, ◦4) *is a groupoid,* (3) *for every x*, *<sup>y</sup>* <sup>∈</sup> *X,* <sup>A</sup>(*xy*) ≥ A(*x*) <sup>∧</sup><sup>4</sup> <sup>A</sup>(*y*), *i.e.,* (i) *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∧</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∧</sup> *<sup>A</sup>*+(*y*), (ii) *A*∈(*xy*) ≤ *A*∈(*x*) ∨ *A*∈(*y*), *A*∈(*xy*) ≥ *A*∈(*x*) ∧ *A*∈(*y*), (iii) *λ*(*xy*) ≤ *λ*(*x*) ∨ *λ*(*y*).

**Proposition 6.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ* ∈ *OGP*4(*X*)*.* (1) *If "*·*" is associative in X, then so is "*◦4*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *b* , *<sup>z</sup><sup>c</sup>*¯ ∈ A,

$$(\mathfrak{x}\_{\bar{a}}^{-} \circ\_{\mathfrak{4}} \underline{y}\_{\bar{b}}) \circ\_{\mathfrak{4}} z\_{\bar{c}} = \mathfrak{x}\_{\bar{a}}^{-} \circ\_{\mathfrak{4}} (y\_{\bar{b}}^{-} \circ\_{\mathfrak{4}} z\_{\bar{c}}) \,\_{\mathfrak{m}}$$

(2) *If "*·*" is commutative in X, then so is "*◦4*" in* <sup>A</sup>*, i.e., for every x<sup>a</sup>*¯, *<sup>y</sup>*¯ *<sup>b</sup>* ∈ A,

$$\mathcal{X}\_{\overline{\mathfrak{d}}} \circ\_{\mathfrak{4}} y\_{\overline{\mathfrak{k}}} = y\_{\overline{\mathfrak{k}}} \circ\_{\mathfrak{4}} \mathcal{x}\_{\overline{\mathfrak{d}}'} $$

(3) *If "*·*" has an identity e* <sup>∈</sup> *X, then for each x<sup>a</sup>*¯ ∈ A,

$$\mathfrak{e}\_{\langle 1 \mathfrak{d}, 0 \rangle} \circ\_{\mathfrak{Z}} \mathfrak{x}\_{\overline{\mathfrak{l}}} = \mathfrak{x}\_{\overline{\mathfrak{l}}} = \mathfrak{x}\_{\overline{\mathfrak{l}}} \circ\_{\mathfrak{l}} \mathfrak{e}\_{\langle \overline{1} \mathfrak{d}, 0 \rangle}.$$

**Remark 3.** *Let* (*X*, ·) *be a groupoid and let A* <sup>∈</sup> <sup>2</sup>*X. Then we have*

*<sup>χ</sup>*<sup>A</sup> ∈ *OGP*1(*X*) ⇐⇒ *<sup>A</sup>* is a subgroupoid of *<sup>X</sup>*.

**Definition 14.** *Let* (*X*, ·) *be a groupoid,* A∈O(*X*) *and let i* = 1, 2, 3, 4*. Then* A *is called a: (i) i-octahedron left ideal (briefly, i-OLI) of X, if for every x*, *y* ∈ *X,*

A(*xy*) ≥*<sup>i</sup>* A(*y*), i.e.,

*(ii) i-octahedron right ideal (briefly, i-ORI) of X, if for every x*, *y* ∈ *X,*

$$\mathcal{A}(xy) \ge\_i \mathcal{A}(x), \text{ i.e.,}$$

*(iii) i-octahedron ideal (simply, i-OI) of X, if it is both an i-OLI and an i-ORI of X.*

*In this case, we will denote the set of all i-OIs [resp., i-OLIs and i-ORIs] of X as OIi*(*X*) *[resp., OLIi*(*X*) *and ORIi*(*X*)*].*

**Remark 4.** *From the above Definition, we have the followings.*

$$\begin{array}{ll} (1) & \mathcal{A} \in OLI\_1(X) \\ & \iff A^-(xy) \ge A^-(y), \ A^+(xy) \ge A^+(y), \ A^\in(xy) \ge A^\in(y), \\ & A^\notin(xy) \le A^\notin(y), \ \lambda(xy) \ge \lambda(y), \\ & \mathcal{A} \in OLI\_2(X) \\ & \iff A^-(xy) \ge A^-(y), \ A^+(xy) \ge A^+(y), \ A^\in(xy) \ge A^\in(y), \\ & A^\notin(xy) \le A^\notin(y), \ \lambda(xy) \le \lambda(y), \\ & \mathcal{A} \in OLI\_3(X) \\ & \iff A^-(xy) \ge A^-(y), \ A^+(xy) \ge A^+(y), \ A^\in(xy) \le A^\in(xy) \le A^\in(y), \\ & A^\notin(xy) \ge A^\notin(y), \ \lambda(xy) \ge \lambda(y), \\ & \mathcal{A} \in OLI\_4(X) \\ & \iff A^-(xy) \ge A^-(y), \ A^+(xy) \ge A^+(y), \ A^\in(xy) \le A^\in(xy), \\ & A^\notin(xy) \ge A^\notin(y), \ \lambda(xy) \le \lambda(y), \\ & (2) & \mathcal{A} \in ORI\_1(X) \\ & \iff A^-(xy) \ge A^-(x), \ A^+(xy) \ge A^+(x), \ A^\in(xy) \ge A^\in(x). \end{array}$$

*A*∈(*xy*) ≤ *A*∈(*x*), *λ*(*xy*) ≥ *λ*(*x*), A ∈ *ORI*2(*X*) ⇐⇒ *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*), *<sup>A</sup>*∈(*xy*) <sup>≥</sup> *<sup>A</sup>*∈(*x*), *A*∈(*xy*) ≤ *A*∈(*x*), *λ*(*xy*) ≤ *λ*(*x*), A ∈ *ORI*3(*X*) ⇐⇒ *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*), *<sup>A</sup>*∈(*xy*) <sup>≤</sup> *<sup>A</sup>*∈(*x*), *A*∈(*xy*) ≥ *A*∈(*x*), *λ*(*xy*) ≥ *λ*(*x*), A ∈ *ORI*4(*X*) ⇐⇒ *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*), *<sup>A</sup>*∈(*xy*) <sup>≤</sup> *<sup>A</sup>*∈(*x*), *A*∈(*xy*) ≥ *A*∈(*x*), *λ*(*xy*) ≤ *λ*(*x*), *(3)* A ∈ *OI*1(*X*) ⇐⇒ *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∨</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∨</sup> *<sup>A</sup>*+(*y*), *A*∈(*xy*) ≥ *A*∈(*x*) ∨ *A*∈(*y*), *A*∈(*xy*) ≤ *A*∈(*x*) ∧ *A*∈(*x*), *λ*(*xy*) ≥ *λ*(*x*) ∨ *λ*(*y*), A ∈ *ORI*2(*X*) ⇐⇒ *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∨</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∨</sup> *<sup>A</sup>*+(*y*), *A*∈(*xy*) ≥ *A*∈(*x*) ∨ *A*∈(*y*), *A*∈(*xy*) ≤ *A*∈(*x*) ∧ *A*∈(*x*), *λ*(*xy*) ≤ *λ*(*x*) ∧ *λ*(*y*), A ∈ *OI*3(*X*) ⇐⇒ *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∨</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∨</sup> *<sup>A</sup>*+(*y*), *A*∈(*xy*) ≤ *A*∈(*x*) ∧ *A*∈(*y*), *A*∈(*xy*) ≥ *A*∈(*x*) ∨ *A*∈(*x*), *λ*(*xy*) ≥ *λ*(*x*) ∨ *λ*(*y*), A ∈ *OI*4(*X*) ⇐⇒ *<sup>A</sup>*−(*xy*) <sup>≥</sup> *<sup>A</sup>*−(*x*) <sup>∨</sup> *<sup>A</sup>*−(*y*), *<sup>A</sup>*+(*xy*) <sup>≥</sup> *<sup>A</sup>*+(*x*) <sup>∨</sup> *<sup>A</sup>*+(*y*), *A*∈(*xy*) ≤ *A*∈(*x*) ∧ *A*∈(*y*), *A*∈(*xy*) ≥ *A*∈(*x*) ∨ *A*∈(*x*), *λ*(*xy*) ≤ *λ*(*x*) ∧ *λ*(*y*).

**Remark 5.** *An i-octahedron left ideal [resp., right ideal and ideal] in a semigroup S, a group G and a ring G is defined as Definition 14.*

For a groupoid (*X*, ·), let us denote the set of all fuzzy ideals [resp., left ideals and right ideals] (See [19]), the set of all IVIs [resp., IVLIs and IVRIs] (See [18]) and the set of all IFIs [resp., IFLIs, IFRIs] (See [17]) of *X* as *F I*(*X*) [resp., *FLI*(*X*) and *FRI*(*X*)], *IVI*(*X*) [resp., *IVLI*(*X*) and *IVRI*(*X*)] and *IFI*(*X*) [resp., *IFLI*(*X*) and *IFRI*(*X*)]. Then we can easily see that A = **A**, *A*, *λ* ∈ *OI*1(*X*) [resp., *OLI*1(*X*) and *ORI*1(*X*)] if and only if **A** ∈ *IVI*(*X*), *A* ∈ *IFI*(*X*), *λ* ∈ *F I*(*X*) [resp., **A** ∈ *IVLI*(*X*), *A* ∈ *IFLI*(*X*), *λ* ∈ *FLI*(*X*) and **A** ∈ *IVRI*(*X*), *A* ∈ *IFRI*(*X*), *λ* ∈ *FRI*(*X*)]. Furthermore, it is obvious that A ∈ *OGPi*(*X*), for each A ∈ *OIi*(*X*) [resp., *OLIi*(*X*) and *ORIi*(*X*)] (*i* = 1, 2, 3, 4) but the converse is not true in general (See Example 3 (1)).

Note that for every A ∈ *OGPi*(*X*) (*i* = 1, 2, 3, 4), we have: for each *x* ∈ *X*,

$$\mathcal{A}(\mathbf{x}^{\mathfrak{n}}) \ge\_i \mathcal{A}(\mathfrak{x}), \text{ i.e., }$$

where *x<sup>n</sup>* is any composite of *x* s.

**Example 3.** *(1) Let* (*X*, ·) *be the groupoid and* A ∈ *OGP*1(*X*) *given in Example 2 (2). Then clearly, λ*(*ab*) = 0.5 ≥ 0.7 = *λ*(*b*)*. Thus, λ* ∈ *FLI*(*X*)*. So* A ∈ *OLI*1(*X*)*.*

*(2) Let X* = {*a*, *b*, *c*} *be the groupoid with the following Cayley Table 5:*



*Consider the octahedron set* A *in X given by:*

$$\begin{aligned} \mathcal{A}(a) &= \langle [0.4, 0.8], (0.7, 0.2), 0.8 \rangle, \\\\ \mathcal{A}(b) &= \langle [0.3, 0.7], (0.6, 0.3), 0.7 \rangle, \\\\ \mathcal{A}(c) &= \langle [0.2, 0.6], (0.5, 0.4), 0.6 \rangle. \end{aligned}$$

*Then we can easily calculate that* A ∈ *OLI*1(*X*)*. But A*−(*bc*) = 0.2 ≥ 0.3 = *A*−(*b*)*. Thus,* **A** ∈ *IVRI*(*X*)*. So* A ∈ *ORI*1(*X*)*.*

*(3) Let X* = {*a*, *b*, *c*} *be the groupoid with the following Cayley Table 6:*


*Consider the octahedron set* A *in X given by:*

A(*a*) = [0.4, 0.8],(0.7, 0.2), 0.9, A(*b*) = [0.3, 0.7],(0.6, 0.3), 0.7, A(*c*) = [0.2, 0.6],(0.5, 0.4), 0.8.

*Then we can easily calculate that* A ∈ *ORI*1(*X*)*. But A*−(*ba*) = 0.3 ≥ 0.4 = *A*−(*a*)*. Thus,* **A** ∈ *IVLI*(*X*)*. So* A ∈ *OLI*1(*X*)*.*

From Proposition 3.2 in [19], we have the following result.

**Theorem 5.** *Let* (*X*, ·) *be a groupoid and let <sup>A</sup>* <sup>∈</sup> <sup>2</sup>*X. Then <sup>χ</sup>*<sup>A</sup> <sup>∈</sup> *OLI*1(*X*) *[resp., ORI*1(*X*) *and OI*1(*X*)*] if and only if A is a left ideal [resp., a right ideal and an ideal] of X.*

**Definition 15** ([10])**.** *Let <sup>X</sup> be a nonempty set, let <sup>a</sup>*¯ <sup>=</sup> *<sup>a</sup>*, *<sup>a</sup>*¯, *<sup>a</sup>* <sup>∈</sup> [*I*] <sup>×</sup> (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*) <sup>×</sup> *<sup>I</sup> and let* <sup>A</sup> <sup>=</sup> **A**, *<sup>A</sup>*, *<sup>λ</sup>* <sup>∈</sup> <sup>O</sup>(*X*)*. Then two subsets* [A]*<sup>a</sup>*¯ *and* [A] ∗ *<sup>a</sup>*¯ *of X are defined as follows:*

> [A]*<sup>a</sup>*¯ <sup>=</sup> {*<sup>x</sup>* <sup>∈</sup> *<sup>X</sup>* : **<sup>A</sup>**(*x*) <sup>≥</sup> *<sup>a</sup>*, *<sup>A</sup>*(*x*) <sup>≥</sup> *<sup>a</sup>*¯, *<sup>λ</sup>*(*x*) <sup>≥</sup> *<sup>a</sup>*}, [A] ∗ *<sup>a</sup>*¯ <sup>=</sup> {*<sup>x</sup>* <sup>∈</sup> *<sup>X</sup>* : **<sup>A</sup>**(*x*) <sup>&</sup>gt; *<sup>a</sup>*, *<sup>A</sup>*(*x*) <sup>&</sup>gt; *<sup>a</sup>*¯, *<sup>λ</sup>*(*x*) <sup>&</sup>gt; *<sup>a</sup>*}.

*In this case,* [A]*<sup>a</sup>*¯ *is called an a-level set of* ¯ <sup>A</sup> *and* [A] ∗ *<sup>a</sup>*¯ *is called a strong a-level set of* ¯ <sup>A</sup>*.*

The following is an immediate consequence of Theorem 1, Definitions 13 and 14.

**Proposition 7.** *Let* (*X*, ·) *be a groupoid and let* A = **A**, *A*, *λ* ∈ O(*X*)*. If* A ∈ *OGP*1(*X*) *or* A ∈ *OLI*1(*X*) *[resp., ORI*1(*X*) *and OI*1(*X*)*], then* [A]*<sup>a</sup>*¯ *is a subgroupoid or a left ideal [resp., a right ideal and an ideal] of X, for each <sup>a</sup>*¯ <sup>∈</sup> [*I*] <sup>×</sup> (*<sup>I</sup>* <sup>⊕</sup> *<sup>I</sup>*) <sup>×</sup> *I.*

**Proposition 8.** *Let* (*X*, ·) *be a groupoid and let <sup>i</sup>* = 1, 2, 3, 4*. If* (A*j*)*j*∈*<sup>J</sup>* = (- **A***j*, *Aj*, *λ<sup>j</sup>* . )*j*∈*<sup>J</sup>* ⊂ *OGPi*(*X*)*, then* /*<sup>i</sup> <sup>j</sup>*∈*<sup>J</sup>* <sup>A</sup>*<sup>j</sup>* <sup>∈</sup> *OGPi*(*X*)*, where J denotes an index set.*

**Proof.** Case 1: Suppose (A*j*)*j*∈*<sup>J</sup>* = (- **A***j*, *Aj*, *λ<sup>j</sup>* . )*j*∈*<sup>J</sup>* ⊂ *OGP*1(*X*). Then from Propositions 3.8 in [18], 3.9 in [17] and 3.1 in [19], we have

$$\bigcap\_{j \in J} \mathbf{A}\_j \in IVGP(X)\_\prime \bigcap\_{j \in J} A\_j \in IFGP(X)\_\prime \bigcap\_{j \in J} \lambda\_j \in FGP(X)\_\prime.$$

Thus, /<sup>1</sup> *<sup>j</sup>*∈*<sup>J</sup>* <sup>A</sup>*<sup>j</sup>* <sup>∈</sup> *OGP*1(*X*).

Case 2: Suppose (A*j*)*j*∈*<sup>J</sup>* = (- **A***j*, *Aj*, *λ<sup>j</sup>* . )*j*∈*<sup>J</sup>* ⊂ *OGP*2(*X*) and let *<sup>x</sup>*, *<sup>y</sup>* ∈ *<sup>X</sup>*. Then by Definition 5 and Theorem 2,

$$\begin{array}{l} (\mathsf{U}\_{\boldsymbol{j}\in\mathcal{J}}\boldsymbol{\lambda}\_{\boldsymbol{j}})(\boldsymbol{x}\boldsymbol{y}) = \mathsf{V}\_{\boldsymbol{j}\in\mathcal{J}}\boldsymbol{\lambda}\_{\boldsymbol{j}}(\boldsymbol{x}\boldsymbol{y}) \leq \mathsf{V}\_{\boldsymbol{j}\in\mathcal{J}}(\boldsymbol{\lambda}\_{\boldsymbol{j}}(\boldsymbol{x})\vee\boldsymbol{\lambda}\_{\boldsymbol{j}}(\boldsymbol{y})) \\ = (\mathsf{V}\_{\boldsymbol{j}\in\mathcal{J}}\boldsymbol{\lambda}\_{\boldsymbol{j}}(\boldsymbol{x}))\vee(\mathsf{V}\_{\boldsymbol{j}\in\mathcal{J}}\boldsymbol{\lambda}\_{\boldsymbol{j}}(\boldsymbol{y})) \\ = (\mathsf{U}\_{\boldsymbol{j}\in\mathcal{J}}\boldsymbol{\lambda}\_{\boldsymbol{j}})(\boldsymbol{x})\vee(\mathsf{U}\_{\boldsymbol{j}\in\mathcal{J}}\boldsymbol{\lambda}\_{\boldsymbol{j}})(\boldsymbol{y}). \end{array}$$

Thus, ( *<sup>j</sup>*∈*<sup>J</sup> <sup>λ</sup>j*) satisfies the the condition (iii) of Theorem <sup>2</sup> (3). By the hypothesis and Case 1, / *<sup>j</sup>*∈*<sup>J</sup>* **A***<sup>j</sup>* and / *<sup>j</sup>*∈*<sup>J</sup> Aj* satisfy the conditions (i) and (ii) of Theorem <sup>2</sup> (3). So /<sup>2</sup> *<sup>j</sup>*∈*<sup>J</sup>* <sup>A</sup>*<sup>j</sup>* <sup>∈</sup> *OGP*2(*X*).

Case 3: Suppose (A*j*)*j*∈*<sup>J</sup>* = (- **A***j*, *Aj*, *λ<sup>j</sup>* . )*j*∈*<sup>J</sup>* ⊂ *OGP*3(*X*) and let *<sup>x</sup>*, *<sup>y</sup>* ∈ *<sup>X</sup>*. Then by Definition 5 and Theorem 3 (ii),

$$\begin{array}{lcl} (\bigcup\_{j\in J} A\_j^{\in})(xy) = \bigvee\_{j\in J} A\_j^{\in}(xy) \le \bigvee\_{j\in J} (A\_j^{\in}(x) \vee A\_j^{\in}(y)) \\ = (\bigvee\_{j\in J} A\_j^{\in}(x)) \vee (\bigvee\_{j\in J} A\_j^{\in}(y)) \\ = (\bigcup\_{j\in J} A\_j^{\in})(x) \vee (\bigcup\_{j\in J} A\_j^{\in})(y). \end{array}$$

Similarly, we have ( / *<sup>j</sup>*∈*<sup>J</sup> <sup>A</sup>*∈ *<sup>j</sup>* )(*xy*) ≥ ( / *<sup>j</sup>*∈*<sup>J</sup> <sup>A</sup>*∈ *<sup>j</sup>* )(*x*) ∧ ( / *<sup>j</sup>*∈*<sup>J</sup> <sup>A</sup>*∈ *<sup>j</sup>* )(*y*). Thus, ( *<sup>j</sup>*∈*<sup>J</sup> Aj*) satisfies the the condition Theorem 3 (ii). By the hypothesis and Case 1, / *<sup>j</sup>*∈*<sup>J</sup>* **A***<sup>j</sup>* and / *<sup>j</sup>*∈*<sup>J</sup> λ<sup>j</sup>* satisfy the conditions (i) and (iii) of Theorem 2. So /<sup>3</sup> *<sup>j</sup>*∈*<sup>J</sup>* <sup>A</sup>*<sup>j</sup>* <sup>∈</sup> *OGP*3(*X*).

Case 4: Suppose (A*j*)*j*∈*<sup>J</sup>* = (- **A***j*, *Aj*, *λ<sup>j</sup>* . )*j*∈*<sup>J</sup>* ⊂ *OGP*3(*X*). Then by Case 2 and 3, we can easily see that /<sup>4</sup> *<sup>j</sup>*∈*<sup>J</sup>* <sup>A</sup>*<sup>j</sup>* <sup>∈</sup> *OGP*4(*X*).

**Remark 6.** *for every* <sup>A</sup>, B ∈ *OGPi*(*X*)*,* A ∪*<sup>i</sup>* <sup>B</sup> ∈ *OGPi*(*X*) *in general (i* <sup>=</sup> 1, 2, 3, 4*).*

**Example 4.** *Let* (*X*, ·) *be the groupoid and* A ∈ *OGP*1(*X*) *given in Example 2 (2). Consider the octahedron subgroupoid in X given by:*

$$\mathcal{B}(a) = \mathcal{B}(b) = \mathcal{B}(c) = \langle [0.1, 0.7], (0.5, 0.4), 0.6 \rangle \dots$$

*Then* (*A* ∪ *B*)(*ab*)=(0.7, 0.4) ≥ (0.6, 0.3)=(*A* ∪ *B*)(*a*) ∧ (*A* ∪ *B*)(*b*). *Thus, A* ∪ *B* ∈ *IFGP*(*X*). *So* A ∪<sup>1</sup> <sup>B</sup> ∈ *OGP*1(*X*).

**Remark 7.** *Let* (*X*, ·) *be a groupoid and let* (A*j*)*j*∈*<sup>J</sup>* = (- **A***j*, *Aj*, *λ<sup>j</sup>* . )*j*∈*<sup>J</sup>* ⊂ *OGPi*(*X*) *(i* = 1, 2, 3, 4*). Then from Proposition 8, we can easily see that*

$$\bigcap\_{j=1}^{i} \{ \mathcal{A} \in OGP\_{\hat{\imath}}(X) : \bigcup\_{j \in J}^{i} \mathcal{A}\_{j} \subset\_{\hat{\imath}} \mathcal{A} \} \in OGP\_{\hat{\imath}}(X).$$

*In this case, we will denote* /*<sup>i</sup>* {A ∈ *OGPi*(*X*) : *i <sup>j</sup>*∈*<sup>J</sup>* <sup>A</sup>*<sup>j</sup>* <sup>⊂</sup>*<sup>i</sup>* A} *as* <sup>0</sup>*<sup>i</sup> <sup>j</sup>*∈*<sup>J</sup>* A*j.*

*In particular, it is obvious that* (*OGP*1(*X*), <sup>⊂</sup>1) *is a complete lattice with the least element* 0¨ *and the greatest element* 1¨*, where for each* (A*j*)*j*∈*<sup>J</sup>* <sup>⊂</sup><sup>1</sup> *OGP*1(*X*)*, the inf and the sup of* (A*j*)*j*∈*<sup>J</sup> are infj*∈*J*A*<sup>j</sup>* <sup>=</sup> /<sup>1</sup> *<sup>j</sup>*∈*<sup>J</sup>* A*<sup>j</sup> and supj*∈*J*A*<sup>j</sup>* <sup>=</sup> <sup>0</sup><sup>1</sup> *<sup>j</sup>*∈*<sup>J</sup>* A*j.*

The following is an immediate result of Proposition 8.

**Corollary 1.** *Let* (*X*, ·) *be the groupoid,* A∈O(*X*) *and let*

$$(\mathcal{A}) = \bigcap^1 \{ \mathcal{B} \in OGP\_1(X) : \mathcal{A} \subset\_1 \mathcal{B} \}.$$

*Then* (A) ∈ *OGP*1(*X*).

In this case, (A) is called the octahedron subgroupoid in *X* generated by A.

**Proposition 9.** *Let* (*X*, ·) *be a groupoid, and let* (*A*) *be the subgroupoid generated by <sup>A</sup> and <sup>χ</sup>*(*A*) <sup>=</sup> + [*χ*(*A*), *χ*(*A*)],(*χ*(*A*), *χ*(*A<sup>c</sup>* )), *χ*(*A*) , *for each A* <sup>∈</sup> <sup>2</sup>*X. Then*

$$(\chi\_A) = \chi\_{(A)}.$$

**Proof.** From Remark 3 and Corollary 1, it is obvious that *χ*(*A*) ∈ *OGP*1(*X*). Let B ∈ *OGP*1(*X*) such that B ⊃<sup>1</sup> *χ*(*A*). Then clearly,

$$\mathcal{B}(\mathbf{x}) = \langle [1, 1], (1, 0), 1 \rangle, \text{ for each } \mathbf{x} \in A.$$

Since B ∈ *OGP*1(*X*), B(*xy*) = [1, 1],(1, 0), 1 for every *<sup>x</sup>*, *<sup>y</sup>* ∈ *<sup>A</sup>*. Thus, B ⊃<sup>1</sup> *<sup>χ</sup>*(A). So

$$\chi\_{(A)} \subsetneq \bigcap^1 \{ \mathcal{B} \in OGP\_1(X) : \mathcal{B} \supset\_1 \chi\_{\mathcal{A}} \} = (\chi\_{\mathcal{A}}) \dots$$

We can easily prove that (*χ*A) ⊂<sup>1</sup> *<sup>χ</sup>*(*A*). Hence (*χ*A) = *<sup>χ</sup>*(*A*).

From the above Proposition, the subgoupoid lattice of *X* can be regarded as a sublattice of the octahedron subgroupoid lattice of *X*.

**Proposition 10.** *Let* (*X*, ·) *be a groupoid and let i* = 1, 2, 3, 4*. Then the i-intersection or the i-union of any i-octahedron (left, right) ideals is an i-octahedron (left, right) ideal.*

**Proof.** Let (A*j*)*j*∈*<sup>J</sup>* ⊂ *OLIi*(*X*) [resp., *ORIi*(*X*) and *OIi*(*X*)], where A*<sup>j</sup>* = - **A***j*, *Aj*, *λ<sup>j</sup>* . . We only prove that *<sup>i</sup> <sup>j</sup>*∈*<sup>J</sup>* <sup>A</sup>*<sup>j</sup>* <sup>∈</sup> *OLIi*(*X*) and the remainder's proofs are omitted.

Case 1: (A*j*)*j*∈*<sup>J</sup>* ⊂ *OLI*1(*X*) and let *<sup>x</sup>*, *<sup>y</sup>* ∈ *<sup>X</sup>*. Then by Definition <sup>5</sup> and Remark <sup>4</sup> (1), we have

$$(\bigcup\_{j \in J} \mathbf{A}^{-})(xy) = \bigvee\_{j \in J} \mathbf{A}^{-}(xy) \ge \bigvee\_{j \in J} \mathbf{A}^{-}(y) = (\bigcup\_{j \in J} \mathbf{A}^{-})(y).$$

Similarly, ( / *<sup>j</sup>*∈*<sup>J</sup>* **<sup>A</sup>**+)(*xy*) <sup>≥</sup> ( / *<sup>j</sup>*∈*<sup>J</sup>* **<sup>A</sup>**+)(*y*). From Proposition 3.3 in [19] and 3.10 in [17], we have

$$(\bigcup\_{j\in J} \lambda)(xy) \ge (\bigcup\_{j\in J} \lambda)(y), \\
(\bigcup\_{j\in J} A)(xy) \ge (\bigcup\_{j\in J} A)(y).$$

Thus, (A*j*)*j*∈*<sup>J</sup>* ∈ *OLI*1(*X*).

Case 2: (A*j*)*j*∈*<sup>J</sup>* ⊂ *OLI*2(*X*) and let *<sup>x</sup>*, *<sup>y</sup>* ∈ *<sup>X</sup>*. Then by Definition <sup>5</sup> and Remark <sup>4</sup> (1), we have

$$(\bigcap\_{j\in J} \lambda)(xy) = \bigwedge\_{j\in J} \lambda(xy) \le \bigwedge\_{j\in J} \lambda(y) = (\bigcap\_{j\in J} \lambda)(y).$$

Thus, by Case 1, (A*j*)*j*∈*<sup>J</sup>* ∈ *OLI*2(*X*).

Case 3: (A*j*)*j*∈*<sup>J</sup>* ⊂ *OLI*3(*X*) and let *<sup>x</sup>*, *<sup>y</sup>* ∈ *<sup>X</sup>*. Then by Definition <sup>5</sup> and Remark <sup>4</sup> (1), we have

$$(\bigcap\_{j\in I} A^{\in})(xy) = \bigwedge\_{j\in J} A^{\in}(xy) \le \bigwedge\_{j\in J} A^{\in}(y) = (\bigcap\_{j\in J} A^{\in})(y).$$

Similarly, ( *<sup>j</sup>*∈*<sup>J</sup> <sup>A</sup>*∈)(*xy*) ≥ ( *<sup>j</sup>*∈*<sup>J</sup> <sup>A</sup>*∈)(*y*). Thus, by Case 1, (A*j*)*j*∈*<sup>J</sup>* ∈ *OLI*3(*X*).

Case 4: (A*j*)*j*∈*<sup>J</sup>* ⊂ *OLI*4(*X*). Then by Cases 2 and 3, (A*j*)*j*∈*<sup>J</sup>* ∈ *OLI*4(*X*). This completes the proof.

**Definition 16** ([10])**.** *Let X*, *Y be two sets, let f* : *X* → *Y be a mapping and let* A = **A**, *A*, *λ* ∈ O(*X*)*,* B = **B**, *B*, *μ* ∈ O(*Y*)*.*

*(i) The preimage of* <sup>B</sup> *under <sup>f</sup> , denoted by <sup>f</sup>* <sup>−</sup>1(B) = *f* <sup>−</sup>1(**B**), *f* <sup>−</sup>1(*B*), *f* <sup>−</sup>1(*μ*) . *, is the octahedron set in X defined as follows: for each x* ∈ *X,*

$$(f^{-1}(\mathcal{B})(\mathbf{x}) = \left\langle \left[ (\mathcal{B}^- \circ f)(\mathbf{x}), (\mathcal{B}^+ \circ f)(\mathbf{x}) \right] \right\rangle \left( (\mathcal{B}^\in \circ f)(\mathbf{x}), (\mathcal{B}^\notin \circ f)(\mathbf{x}) \right) , (\mu \circ f)(\mathbf{x}) \right\rangle \ldots$$

*(ii) The image of* A *under f , denoted by f*(A) = *f*(**A**), *f*(*A*), *f*(*λ*)*, is the octahedron set in Y defined as follows: for each y* ∈ *Y,*

$$f(\mathbf{A})(y) = \begin{cases} \left[ \bigvee\_{x \in f^{-1}(y)} A^{-}(x), \bigvee\_{x \in f^{-1}(y)} A^{+}(x) \right] & \text{if } f^{-1}(y) \neq \Phi \\ \mathbf{0} & \text{otherwise} \end{cases}$$

$$f(A)(y) = \begin{cases} \left( \bigvee\_{x \in f^{-1}(y)} A^{\in}(x), \bigwedge\_{x \in f^{-1}(y)} A^{\notin}(x) \right) & \text{if } f^{-1}(y) \neq \Phi \\ \mathbf{0} & \text{otherwise} \end{cases}$$

$$f(\boldsymbol{\lambda})(y) = \begin{cases} \bigvee\_{x \in f^{-1}(y)} \boldsymbol{\lambda}(x) & \text{if } f^{-1}(y) \neq \Phi \\ \mathbf{0} & \text{otherwise} \end{cases}$$

It is obvious that *<sup>f</sup>*(*x<sup>a</sup>*,¯ *<sup>b</sup>*,*<sup>α</sup>*)=[ *<sup>f</sup>*(*x*)]*<sup>a</sup>*,¯ *<sup>b</sup>*,*<sup>α</sup>*, for each *<sup>x</sup><sup>a</sup>*,¯ *<sup>b</sup>*,*<sup>α</sup>* ∈ O*P*(*X*).

**Proposition 11.** *Let f* : *X* → *Y be a groupoid homomorphism, let* B = **B**, *B*, *μ* ∈ O(*Y*) *and let i* = 1, 2, 3, 4*.*

(1) *If* B ∈ *OGPi*(*Y*)*, then f* <sup>−</sup>1(B) <sup>∈</sup> *OGPi*(*X*)*.* (2) *If* B ∈ *OLIi*(*Y*) *[resp., ORIi*(*Y*) *and OIi*(*Y*)*], then <sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OLIi*(*X*) *[resp., ORIi*(*X*) *and OIi*(*X*)*].*

**Proof.** (1) Case 1: Suppose B = **B**, *B*, *μ* ∈ *OGP*1(*Y*). Then clearly, Propositions 3.9 in [18], 4.1 in [19] and 4.1 (1) in [17], *<sup>f</sup>* <sup>−</sup>1(*μ*) <sup>∈</sup> *FGP*(*X*), *<sup>f</sup>* <sup>−</sup>1(**B**) <sup>∈</sup> *IVGP*(*X*) and *<sup>f</sup>* <sup>−</sup>1(*B*) <sup>∈</sup> *IFGP*(*X*). Thus, *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OGP*1(*X*).

Case 2: Suppose B ∈ *OGP*2(*Y*) and let *x*, *y* ∈ *X*. Then by Theorem 2 (iii), *<sup>f</sup>* <sup>−</sup>1(*μ*)(*xy*)=(*<sup>μ</sup>* ◦ *<sup>f</sup>*)(*xy*) = *<sup>μ</sup>*(*f*(*xy*)) = *μ*(*f*(*x*)*f*(*y*)) [Since *f* is a groupoid homomorphism] ≤ *μ*(*f*(*x*)) ∨ *μ*(*f*(*y*)) <sup>=</sup> *<sup>f</sup>* <sup>−</sup>1(*μ*)(*x*) <sup>∨</sup> *<sup>f</sup>* <sup>−</sup>1(*μ*)(*y*). Thus, *<sup>f</sup>* <sup>−</sup>1(*μ*) satisfies the condition (iii) of Theorem <sup>2</sup> (3). So by Case 1, *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OGP*2(*X*).

Case 3: Suppose B ∈ *OGP*3(*Y*) and let *x*, *y* ∈ *X*. Then by Theorem 3 (ii), *<sup>f</sup>* <sup>−</sup>1(*B*∈)(*xy*)=(*B*<sup>∈</sup> ◦ *<sup>f</sup>*)(*xy*) = *<sup>B</sup>*∈(*f*(*xy*))

$$\begin{array}{l} = B^{\in}(f(\mathfrak{x})f(\mathfrak{y})) \\ \leq B^{\in}(f(\mathfrak{x})) \vee B^{\in}(f(\mathfrak{y})) \\ = f^{-1}(B^{\in})(\mathfrak{x}) \vee f^{-1}(B^{\in})(\mathfrak{y}). \end{array}$$

Similarly, we have *<sup>f</sup>* <sup>−</sup>1(*B*∈)(*xy*) <sup>≥</sup> *<sup>f</sup>* <sup>−</sup>1(*B*∈)(*x*) <sup>∧</sup> *<sup>f</sup>* <sup>−</sup>1(*B*∈)(*y*). Thus, *<sup>f</sup>* <sup>−</sup>1(*B*) satisfies the condition (ii) of Theorem <sup>3</sup> (3). So by Case 1, *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OGP*3(*X*).

Case 4: Suppose B ∈ *OGP*4(*Y*). Then by Cases 2 and 3, *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OGP*4(*X*). (2) We only prove that *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OLIi*(*X*) and the other proofs are omitted. Case 1: Suppose B ∈ *OLI*1(*Y*) and let *x*, *y* ∈ *X*. Then *f* <sup>−</sup>1(**B**)(*xy*)=[*B*−(*f*(*x*)*f*(*y*)), *B*+(*f*(*x*)*f*(*y*))]

<sup>≥</sup> [*B*−(*f*(*y*)), *<sup>B</sup>*+(*f*(*y*))] [Since **<sup>B</sup>** <sup>∈</sup> *IVLI*(*Y*)] = *f* <sup>−</sup>1(**B**)(*y*).

Thus, *<sup>f</sup>* <sup>−</sup>1(**B**) <sup>∈</sup> *IVLI*(*X*). Moreover, from Propositions 4.1 in [19] and 4.1 in [17], *<sup>f</sup>* <sup>−</sup>1(*μ*) <sup>∈</sup> *FLL*(*X*) and *<sup>f</sup>* <sup>−</sup>1(*B*) <sup>∈</sup> *IFLI*(*X*). So *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OLI*1(*X*).

Case 2: Suppose B ∈ *OLI*2(*Y*) and let *x*, *y* ∈ *X*. Then by Remark 4 (1),

$$f^{-1}(\mu)(xy) = \lambda(f(xy)) = \mu(f(x)f(y)) \le \mu(f(y)) = f^{-1}(\mu)(y).$$

Thus, *<sup>f</sup>* <sup>−</sup>1(*μ*)(*xy*) <sup>≤</sup> *<sup>f</sup>* <sup>−</sup>1(*μ*)(*y*). So by Case 1, *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OLI*2(*X*). Case 3: Suppose B ∈ *OLI*3(*Y*) and let *x*, *y* ∈ *X*. Then by Remark 4 (1),

$$(f^{-1}(B^{\subseteq})(xy) = B^{\subseteq}(f(xy)) = B^{\subseteq}(f(x)f(y)) \le B^{\subseteq}(f(y)) = f^{-1}(B^{\subseteq})(y).$$

Similarly, we have *<sup>f</sup>* <sup>−</sup>1(*B*∈)(*xy*) <sup>≥</sup> *<sup>f</sup>* <sup>−</sup>1(*B*∈)(*y*). Thus, by Case 1, *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OLI*3(*X*).

Case 4: Suppose B ∈ *OLI*3(*Y*). Then by Cases 2 and 3, *<sup>f</sup>* <sup>−</sup>1(B) <sup>∈</sup> *OLI*4(*X*). This completes the proof.

**Definition 17.** *Let X be a nonempty set and let* A = **A**, *A*, *λ* ∈ O(*X*)*. Then we say that* A *has the i-sup-property (i* <sup>=</sup> 1, 2, 3, 4*), if for each T* <sup>∈</sup> <sup>2</sup>*X, there is t*<sup>0</sup> <sup>∈</sup> *T such that*

$$\mathcal{A}(t\_0) = \bigvee\_{t \in T}^i \mathcal{A}(t).$$

*It is obvious that if* A *takes on only finitely many values, then it has the i-sup-property. In particular,* A∈O(*X*) *has the* 1*-sup-property if and only if* **A***, A and λ have the sup-property.*

**Proposition 12.** *Let f* : *X* → *Y be a groupoid homomorphism, let* A = **A**, *A*, *λ* ∈ O(*X*) *has the i-sup-property and let i* = 1, 2, 3, 4*.*

(1) *If* A ∈ *OGPi*(*X*)*, then f*(A) ∈ *OGPi*(*Y*)*.*

(2) *If* A ∈ *OLIi*(*X*) *[resp., ORIi*(*X*) *and OIi*(*X*)*], then f*(A) ∈ *OLIi*(*Y*) *[resp., ORIi*(*Y*) *and OIi*(*Y*)*].*

**Proof.** (1) Case 1: Suppose A ∈ *OGP*1(*X*). Then from Propositions 3.11 in [18], 4.2 in [19] and 4.4 (1) in [17],

$$f(\mathbf{A}) \in IVGP(X), \ f(\lambda) \in FGP(X), \ f(A) \in IFGP(X).$$

Thus, by Remark 2 (1), *f*(A) ∈ *OGP*1(*Y*).

Case 2: Suppose A ∈ *OGP*2(*X*). Since *f*(**A**) ∈ *IVGP*(*X*), *f*(*A*) ∈ *IFGP*(*X*) by Case 1, it is sufficient to show that *f*(*λ*) satisfies the condition (iii) of Theorem 2. Let *y*, *y* ∈ *Y*. Then we can consider four cases:

(i) *<sup>f</sup>* <sup>−</sup>1(*y*) <sup>=</sup> <sup>∅</sup>, *<sup>f</sup>* <sup>−</sup>1(*<sup>y</sup>* ) <sup>=</sup> <sup>∅</sup>, (ii) *<sup>f</sup>* <sup>−</sup>1(*y*) <sup>=</sup> <sup>∅</sup>, *<sup>f</sup>* <sup>−</sup>1(*<sup>y</sup>* ) = ∅, (iii) *f* <sup>−</sup>1(*y*) = ∅, *f* <sup>−</sup>1(*y* ) <sup>=</sup> <sup>∅</sup>, (iv) *<sup>f</sup>* <sup>−</sup>1(*y*) = <sup>∅</sup>, *<sup>f</sup>* <sup>−</sup>1(*<sup>y</sup>* ) = ∅.

We prove only case (i) and omit the other ones. Since A has the 2-sup-property, there are *x*0, *x* <sup>0</sup> ∈ *X* such that *λ*(*x*0) = *<sup>t</sup>*∈*<sup>f</sup>* <sup>−</sup>1(*y*) *<sup>λ</sup>*(*t*), *<sup>λ</sup>*(*<sup>x</sup>* <sup>0</sup>) = *t* ∈*<sup>f</sup>* <sup>−</sup>1(*<sup>y</sup>* ) *λ*(*t* ). Then

$$\begin{array}{lcl} f(\lambda)(yy') &= \bigwedge\_{z \in f^{-1}(yy')} \lambda(z) \\ &\leq \lambda\left(\mathbf{x}\_{0}\mathbf{x}\_{0}\right) \left[\text{Since } f(\mathbf{x}\_{0}\mathbf{x}\_{0}') = f(\mathbf{x}\_{0})f(\mathbf{x}\_{0}') = yy'.\right] \\ &\leq \lambda\left(\mathbf{x}\_{0}\right) \vee \lambda\left(\mathbf{x}\_{0}'\right) \left[\text{Since by the hypothesis and Theorem 2 (iii)}\right] \\ &= \left(\bigwedge\_{t \in f^{-1}(y)} \lambda(t)\right) \vee \left(\bigwedge\_{t' \in f^{-1}(y')} \lambda(t')\right) \\ &= f(\lambda)(y) \vee f(\lambda)(y'). \end{array}$$

Thus, by Theorem 2, *f*(A) ∈ *OGP*2(*Y*).

Case 3: Suppose A ∈ *OGP*3(*X*). Since *f*(**A**) ∈ *IVGP*(*X*), *f*(*λ*) ∈ *FGP*(*X*) by Case 1, it is sufficient to show that *f*(*A*) satisfies the condition (ii) of Theorem 3. Let *y*, *y* ∈ *Y* and we show only case (i) of Case 2. Since A has the 3-sup-property, there are *x*0, *x* <sup>0</sup> ∈ *X* such that

$$A^{\in}(\mathbf{x}\_0) = \bigwedge\_{t \in f^{-1}(y)} A^{\in}(t), \ A^{\in}(\mathbf{x}\_0') = \bigwedge\_{t' \in f^{-1}(y')} A^{\in}(t')$$

and

$$A^{\pounds}(\mathbf{x}\_0) = \bigvee\_{t \in f^{-1}(y)} A^{\pounds}(t), \\ A^{\pounds}(\mathbf{x}\_0^{'}) = \bigvee\_{t' \in f^{-1}(y^{'})} A^{\pounds}(t^{'}).$$

Then

$$\begin{array}{lcl} [f(A)]^\in(yy') = \bigwedge\_{z \in f^{-1}(yy')} A^\in(z) \\ \leq A^\in(\mathbf{x}\_0 \mathbf{x'\_0}) \\ \leq A^\in(\mathbf{x}\_0) \vee A^\in(\mathbf{x'\_0}) \\ \text{[Since by the hypothesis and Theorem 3 (ii)]} \\ = (\bigwedge\_{t \in f^{-1}(y)} A^\in(t)) \vee (\bigwedge\_{t' \in f^{-1}(y')} A^{\in(\mathbf{z'})}) \\ = [f(A)]^\in(y) \vee [f(A)]^\in(y'). \\ \text{while each convex function } [f(A)]^\notin(\mathbf{z'}) \geq \bigwedge\_{t' \in f^{-1}(y)} (f(A))^\notin(y) \wedge [f(A)]^\notin(\mathbf{z'}). \text{ Then} \end{array}$$

Similarly, we have [ *f*(*A*)]∈(*yy* ) ≥ [ *f*(*A*)]∈(*y*) ∧ [ *f*(*A*)]∈(*y* ). Thus, by Theorem 3, *f*(A) ∈ *OGP*3(*Y*).

Case 4: Suppose A ∈ *OGP*4(*X*). Then by Cases 2, 3 and Theorem 4, we can easily prove that *f*(A) ∈ *OGP*4(*Y*).

(2) We prove only that *f*(A) ∈ *OLIi*(*Y*).

Case 1: Suppose A ∈ *OLI*1(*X*). From Propositions 4.2 in [19] and 4.4 (2) in [17], *f*(*λ*) ∈ *FLI*(*Y*) and *f*(*B*) ∈ *IFLI*(*Y*). Then it is sufficient to show that *f*(**A**) ∈ *IVLI*(*Y*). Let *y*, *y* ∈ *X* and we prove only case (i) of Case 2 in (1). Since <sup>A</sup> has the 1-sup-property, there are *<sup>x</sup>*<sup>0</sup> <sup>∈</sup> *<sup>f</sup>* <sup>−</sup>1(*y*) and *<sup>x</sup>* <sup>0</sup> <sup>∈</sup> *<sup>f</sup>* <sup>−</sup>1(*<sup>y</sup>* ) such that

$$\mathcal{A}(\mathbf{x}\_0) = \bigvee\_{t \in f^{-1}(y)} \mathcal{A}(\mathbf{x}) \text{ and } \mathcal{A}(\mathbf{x}\_0^{'}) = \bigvee\_{t' \in f^{-1}(y')} \mathcal{A}(t').$$

Then

$$\begin{array}{lcl} f(\mathbf{A})^{-}(yy') &= \mathsf{V}\_{z \in f^{-1}(yy')} A^{-}(z) \\ &\geq A^{-}(\mathbf{x}\_{0}\mathbf{x}\_{0}') \, [\text{Since } f(\mathbf{x}\_{0}\mathbf{x}\_{0}') = f(\mathbf{x}\_{0})f(\mathbf{x}\_{0}') = yy'] \\ &\geq A^{-}(\mathbf{x}\_{0}') \, [\text{Since } \mathbf{A} \in IVLI(X)] \\ &= \mathsf{V}\_{t' \in f^{-1}(y')} A^{-}(t') \\ &= f(\mathbf{A})^{-}(y'). \end{array}$$

Similarly, we have *f*(**A**)+(*yy* ) <sup>≥</sup> *<sup>f</sup>*(**A**)+(*<sup>y</sup>* ). Thus, *f*(**A**)(*yy* ) ≥ *f*(**A**)(*y* ). So *f*(**A**) ∈ *IVLI*(*Y*). Hence by Remark 4 (1), *f*(A) ∈ *OLI*1(*Y*).

Case 2: Suppose A ∈ *OLI*2(*X*) and let *y*, *y* ∈ *Y*. Since *f*(**A**) ∈ *IVLI*(*Y*), *f*(*A*) ∈ *IFLI*(*Y*) by Case (1), it is sufficient to prove that *f*(*λ*)(*yy* ) ≤ *f*(*λ*)(*y* ). Since A has the 2-sup-property, there are *x*0, *x* <sup>0</sup> ∈ *X* such that

$$
\lambda(\mathbf{x}\_0) = \bigwedge\_{t \in f^{-1}(y)} \lambda(t), \\
\lambda(\mathbf{x}\_0^{'}) = \bigwedge\_{t' \in f^{-1}(y')} \lambda(t').
$$

Then

$$\begin{array}{lcl} f(\lambda)(yy') &= \bigwedge\_{z \in f^{-1}(yy')} \lambda(z) \\ &\leq \lambda(\mathfrak{x}\_0 \mathfrak{x}\_0) \\ &\leq \lambda(\mathfrak{x}\_0) \text{ [Since by the hypothesis and Remark 4.(1)]} \\ &= \bigwedge\_{t' \in f^{-1}(y')} \lambda(t') \\ &= f(\lambda)(y'). \end{array}$$
 
$$\text{Then, by Remark 4.(1), } f(A) \in O(L^{\langle \lambda \rangle})$$

Thus, by Remark 4 (1), *f*(A) ∈ *OLI*2(*Y*).

Case 3: Suppose A ∈ *OLI*3(*X*) and let *y*, *y* ∈ *Y*. Since *f*(**A**) ∈ *IVLI*(*Y*), *f*(*λ*) ∈ *FLI*(*Y*) by Case (1), it is sufficient to prove that [ *f*(*A*)]∈(*yy* ) ≤ [ *f*(*A*)]∈(*y* ) and [ *f*(*A*)]∈(*yy* ) ≥ [ *f*(*A*)]∈(*y* ). Since A has the 3-sup-property, there are *x*0, *x* <sup>0</sup> ∈ *X* such that

$$A^{\in}(\mathbf{x}\_0) = \bigwedge\_{t \in f^{-1}(y)} A^{\in}(t), \ A^{\in}(\mathbf{x}\_0') = \bigwedge\_{t' \in f^{-1}(y')} A^{\in}(t')$$

and

$$A^{\notin}(\mathbf{x}\_0) = \bigvee\_{t \in f^{-1}(y)} A^{\notin}(t), \ A^{\notin}(\mathbf{x}\_0') = \bigvee\_{t' \in f^{-1}(y')} A^{\notin}(t').$$

Then

$$\begin{array}{l} [f(A)]^\in(yy') = \bigwedge\_{z \in f^{-1}(yy')} A^\in(z) \\ \leq A^\in(\mathbf{x}\_0 \mathbf{x}\_0') \\ \leq A^\in(\mathbf{x}\_0') \\ \text{[Since by the hypothesis and Remark 4 (1)]} \\ = \bigwedge\_{f' \in f^{-1}(y')} A^\in(t') \\ = [f(A)]^\in(y'). \\ \text{with } [f(A)]^\notin(y'). \text{ Then } \mathbf{1}\_{\mathbf{Z}} \text{ and } \mathbf{1}\_{\mathbf{Z}}. \end{array}$$

Similarly, we have [ *f*(*A*)]∈(*yy* ) ≥ [ *f*(*A*)]∈(*y* ). Thus, by Remark 4 (1), *f*(A) ∈ *OLI*3(*Y*). Case 4: Suppose A ∈ *OLI*4(*X*). Then by Cases 2 and 3, we can easily show that *f*(A) ∈ *OLI*4(*Y*). This completes the proof.

**Definition 18.** *Let X*, *Y be sets, f* : *X* → *Y be a mapping and let* A∈O(*X*)*. Then* A *is said to be f-invariant, if for every x*, *y* ∈ *X, f*(*x*) = *f*(*y*) *implies* A(*x*) = A(*y*).

It is obvious that A is *f*-invariant if and only if **A**, *A* and *λ* are *f*-invariant. Moreover, we can easily see that if <sup>A</sup> is *<sup>f</sup>*-invariant, then *<sup>f</sup>* <sup>−</sup>1(*f*(A)) = <sup>A</sup>.

The following is the immediate result of Definition 18.

**Proposition 13.** *Let X*, *Y be sets, let f* : *X* → *Y be a mapping and let*

$$\Omega = \{ \mathcal{A} \in \mathcal{O}(X) : \mathcal{A} \text{ is } f-invariant \}.$$

*Then there is a one-to-one correspondence between* Ω *and* O(*Imf*), *where Im f denotes the image of f .*

The following is the immediate result of Propositions 12 (1) and 13.

**Proposition 14.** *Let f* : *X* → *Y be a groupoid homomorphism and let*

Φ = {A ∈ *OGPi*(*X*) : A *is f* − *invariant and has the i* − *sup property*},

*where i* = 1, 2, 3, 4*. Then there is a one-to-one correspondence between* Φ *and OGPi*(*Imf*).

#### **4. Octahedron Subgroups**

Unless stated otherwise in this section, *G* denotes a group and *e* is the identity of *G*.

**Definition 19** ([19])**.** *Let λ* ∈ *FGP*(*G*)*. Then λ is called a fuzzy subgroup of G, if it satisfies the following condition:*

*<sup>λ</sup>*(*x*−1) <sup>≥</sup> *<sup>λ</sup>*(*x*), for each *<sup>x</sup>* <sup>∈</sup> *<sup>G</sup>*.

*We will denote the set of fuzzy subgroups of G as FG*(*G*)*.*

**Definition 20** ([20])**.** *Let A* ∈ *IFGP*(*G*)*. Then A is called an intuitionistic fuzzy subgroup (briefly, IFG) of G, if it satisfies the following condition: for each x* ∈ *G,*

$$A(\mathbf{x}^{-1}) \ge A(\mathbf{x}), \text{ i.e., } A^{\in}(\mathbf{x}^{-1}) \ge A^{\in}(\mathbf{x}), \text{ } A^{\notin}(\mathbf{x}^{-1}) \le A^{\notin}(\mathbf{x}).$$

*We will denote the set of IFGs of G as IFG*(*G*)*.*

**Definition 21** ([18,21])**.** *Let* **A** ∈ *IVFGP*(*X*)*. Then* **A** *is called an interval-valued fuzzy subgroup (briefly, IVG) of G, if it satisfies the following condition: for each x* ∈ *G,*

$$\mathbf{A}(\mathbf{x}^{-1}) \ge A(\mathbf{x}), \text{ i.e., } A^-(\mathbf{x}^{-1}) \ge A^-(\mathbf{x}), \text{ } A^+(\mathbf{x}^{-1}) \ge A^+(\mathbf{x}).$$

*We will denote the set of IVGs of G as IVG*(*G*)*.*

**Definition 22.** *Let* A ∈ *OGPi*(*G*) *(i* = 1, 2, 3, 4*). Then* A *is called a i-octahedron subgroup of G, if it satisfies the following condition: for each x* ∈ *G,*

$$
\mathcal{A}(x^{-1}) \ge\_i \mathcal{A}(x).
$$

*We will denote the set of all i-octahedron subgroups of G as OGi*(*G*)*. In particular, if* A ∈ *OGP*1(*G*)*, then* A *will simply called an octahedron subgroup of G.*

From Theorems 1–4 and Definition 22, we obtain easily the characterizations of *i*-octahedron subgroups of *G*.
