On relations between \(\gamma\)-operations (Q452810)

Let \(X\) be a nonempty set. The collection of all monotonic functions on \(X\) is denoted by \(\Gamma\). The elements of \(\Gamma\) are called operations. Two operations \(L\) and \(K\) are said to be (1) \(\alpha (\iota,\kappa)\)-related for a subset \(A\) of \(X\) if \(\iota A \subset \iota \kappa \iota (A)\), (2) \(s (\iota,\kappa)\)-related for \(A\) if \(\iota A \subset \iota \kappa \iota (A)\), (3) \(p(\iota , \kappa )\)-related for \(A\) of \(X\) if \(\iota A \subset \iota \kappa (A)\), (4) \(\beta (\iota,\kappa)\)-related for \(A\) of \(X\) if \(\iota A \subset \kappa \iota \kappa (A)\). Result: Let \(\Gamma_2 = \{\gamma : \gamma (\gamma A)= A\}\). Let \(\iota \in\Gamma_2\) and \(\kappa \in\Gamma\). If \(\iota\) and \(\kappa\) are \(s(\iota,\kappa)\)-related, then they are \(\alpha (\iota,\kappa)\)-related. Result: Let \(\Gamma_- = \{\gamma\in \Gamma : \gamma A \subset A\}.\) Let \(\kappa\in \Gamma\) and \(\iota \in \Gamma_-\). If \(\iota\) and \(\kappa\) are \(\alpha (\iota,\kappa)\)-related then they are (1) \(s (\iota,\kappa)\)-related; (2) \(p (\iota,\kappa)\)-related; (3) \(\beta (\iota,\kappa)\)-related. These are some typical results of this paper.