Common Coincidence Points and Common Fixed Points in Fuzzy Semi-Metric Spaces

We propose the so-called fuzzy semi-metric space in which the symmetric condition is not assumed to be satisfied. In this case, there are four kinds of triangle inequalities that should be considered. The purpose of this paper is to study the common coincidence points and common fixed points in the newly proposed fuzzy semi-metric spaces endowed with the so-called ./-triangle inequality. The other three different kinds of triangle inequalities will be the future research, since they cannot be similarly investigated as the case of ./-triangle inequality.


Introduction
The topic of probabilistic metric space has been studied for a long time.In order to realize the development and basic idea of probabilistic metric space, we may refer to Schweizer and Sklar [1][2][3], Hadžić and Pap [4] and Chang et al. [5].The so-called Menger space is a special kind of probabilistic metric space.Using the similar ideas of Menger space, Kramosil and Michalek [6] proposed the fuzzy metric space as follows.
Let X be a nonempty universal set, let * be a t-norm, and let M be a mapping defined on X × X × [0, ∞) into [0, 1].The 3-tuple (X, M, * ) is called a fuzzy metric space if and only if the following conditions are satisfied:

•
for any x, y ∈ X, M(x, y, t) = 1 for all t > 0 if and only if x = y; • M(x, y, 0) = 0 for all x, y ∈ X; • M(x, y, t) = M(y, x, t) for all x, y ∈ X and t ≥ 0; • M(x, y, t) * M(y, z, s) ≤ M(x, z, t + s) for all x, y, z ∈ X and s, t ≥ 0 (the so-called triangle inequality).
Sometimes the mapping M is called the fuzzy metric of the space (X, M, * ).The fuzzy metric M in (X, M, * ) can also be regarded as a kind of membership function of a fuzzy subset of X × X × [0, ∞).The first and second conditions of fuzzy metric space (X, M, * ) say that the fuzzy metric M(x, y, t) can be interpreted as the membership degree of the distance that is less than or equal to t between x and y.In this paper, we shall not consider the symmetric condition M(x, y, t) = M(y, x, t).Therefore, we shall consider the so-called fuzzy semi-metric space.Since the symmetric condition is not taken into account, we shall separately consider four kinds of triangle inequalities.
Singh and Chauhan [7], Vasuki [8] and Wang et al. [9] studied the common fixed points in fuzzy metric spaces.De la Sen et al. [10,11] studied the so-called fuzzy best proximity points and fuzzy best proximity coincidence points.In this paper, using the four different kinds of triangle inequalities, we shall study the common fixed points in fuzzy semi-metric spaces.We also investigate the common coincidence points in fuzzy semi-metric spaces.Although the common fixed points are also the common coincidence points, regarding the uniqueness, the sufficient conditions will be completely different.
This paper is organized as follows.In Section 2, we propose the fuzzy semi-metric space that is endowed with four kinds of triangle inequalities.In Section 3, we introduce the auxiliary functions that will be used to study the Cauchy sequence in fuzzy semi-metric space.In Section 4, we study the Cauchy sequence in fuzzy semi-metric space by means of the auxiliary functions established in Section 3. In Section 5, we derive many kinds of common coincidence points in fuzzy semi-metric spaces that can be endowed with the different types of triangle inequalities introduced in Section 2. Finally, in Section 6, we also study the common fixed points in fuzzy semi-metric spaces.

Fuzzy Semi-Metric Spaces
We first introduce the concept of triangular norm that is simply called a t-norm.We say that the function * : [0, 1] × [0, 1] → [0, 1] is a t-norm if and only if the following conditions are satisfied: According to the concept of commutativity of t-norm, it is clear to see that if the t-norm is continuous with respect to the first component (resp.second component) then the t-norm is also continuous with respect to the second component (resp.first component).More precisely, given any fixed a ∈ [0, 1], we see that if the function f (x) = a * x (resp.f (x) = x * a) is continuous then the function g(x) = x * a (resp.g(x) = a * x) is also continuous.Regarding the one-sided continuity, it is clear to see that if the t-norm is left-continuous with respect to the first component (resp.second component), then the t-norm is also left-continuous with respect to the second component (resp.first component).Similarly, if the t-norm is right-continuous with respect to the first component (resp.second component), then the t-norm is also right-continuous with respect to the second component (resp.first component).[12]) Suppose that the t-norm * is left-continuous at 1 with respect to the first or second component.For any a ∈ (0, 1) and any p ∈ N, there exists r ∈ (0, 1) such that p times r * r * • • • * r> a. Definition 1.Let X be a nonempty universal set, and let M be a mapping defined on X × X × [0, ∞) into [0, 1].Then (X, M) is called a fuzzy semi-metric space if and only if the following conditions are satisfied:

•
for any x, y ∈ X, M(x, y, t) = 1 for all t ≥ 0 if and only if x = y; • M(x, y, 0) = 0 for all x, y ∈ X with x = y; We say that M satisfies the symmetric condition if and only if M(x, y, t) = M(y, x, t) for any x, y ∈ X and t ≥ 0.
In general, the fuzzy semi-metric space (X, M) does not necessarily satisfy the symmetric condition.Therefore four kinds of triangle inequalities are proposed below.Definition 2. Let X be a nonempty universal set, and let M be a mapping defined on X × X × [0, ∞) into [0, 1].Given a t-norm * , four different kinds of triangle inequalities are defined below.

•
We say that M satisfies the -triangle inequality if and only if the following inequality is satisfied: M(x, y, t) * M(y, z, s) ≤ M(x, z, t + s) for all x, y, z ∈ X and s, t > 0.

•
We say that M satisfies the -triangle inequality if and only if the following inequality is satisfied: M(x, y, t) * M(z, y, s) ≤ M(x, z, t + s) for all x, y, z ∈ X and s, t > 0.

•
We say that M satisfies the -triangle inequality if and only if the following inequality is satisfied: M(y, x, t) * M(y, z, s) ≤ M(x, z, t + s) for all x, y, z ∈ X and s, t > 0.

•
We say that M satisfies the -triangle inequality if and only if the following inequality is satisfied: M(y, x, t) * M(z, y, s) ≤ M(x, z, t + s) for all x, y, z ∈ X and s, t > 0.
Given a fuzzy semi-metric space (X, M), when we say that the mapping M satisfies some kinds of triangle inequalities, it implicitly means that the t-norm * is considered in (X, M).

Remark 1.
It is obvious that if the mapping M satisfies the symmetric condition, then the concepts of -triangle inequality, -triangle inequality, -triangle inequality and -triangle inequality are all equivalent.
In this paper, we shall only study the case of assuming that M satisfies the -triangle inequality.The other cases of different kinds of triangle inequalities will be the future research, since they cannot be similarly investigated as the case of -triangle inequality.
On the other hand, we also have In general, we have Definition 3. Let (X, M) be a fuzzy semi-metric space.We say that M is nondecreasing if and only if, given any fixed x, y ∈ X, M(x, y, t 1 ) ≥ M(x, y, t 2 ) for t 1 > t 2 .
Proposition 2. Let (X, M) be a fuzzy semi-metric space.If M satisfies the -triangle inequality, then M is nondecreasing.
Let (X, d) be a metric space.If the sequence {x n } ∞ n=1 in (X, d) converges to x, i.e., d(x n , x) → 0 as n → ∞, then it is denoted by x n d −→ x as n → ∞.In this case, we also say that x is a d-limit of the sequence {x n } ∞ n=1 .Since M does not necessarily satisfy the symmetric condition, it means that M(x n , x, t) = M(x, x n , t) in general.Therefore we propose the following limit concepts.Definition 4. Let (X, M) be a fuzzy semi-metric space, and let {x n } ∞ n=1 be a sequence in X.

•
We write x n M −→ x as n → ∞ if and only if lim n→∞ M(x n , x, t) = 1 for all t > 0.
In this case, we call x a M -limit of the sequence {x n } ∞ n=1 .

•
We write In this case, we call x a M -limit of the sequence {x n } ∞ n=1 .

•
We write In this case, we call x a M-limit of the sequence {x n } ∞ n=1 .
The following interesting results will be used for the further study.
Proposition 3. Let (X, M) be a fuzzy semi-metric space along with a t-norm, and let {x n } ∞ n=1 be a sequence in X. Suppose that the t-norm * is left-continuous at 1 with respect to the first or second component, and that M satisfies the -triangle inequality.Then we have the following properties.Proposition 4. Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that the t-norm * is left-continuous with respect to the first or second component, and that satisfies the following inequality Based on the intuitive concept of the value M(x, y, t), we see that M(x, y, t) = 1 means the distance between x and y that is surely less than or equal to t, and M(x, y, t) = 0 means the distance between x and y that is surely greater than t.Therefore if x = y with distance t xy = 0 between x and y, then it is impossible for M(x, y, t) = 0 and for all t > 0. In other words, there exists t 0 > 0 with t xy < t 0 satisfying M(x, y, t 0 ) = 0. We propose the following definition.Definition 5. Let (X, M) be a fuzzy semi-metric space.We say that M satisfies the distant condition if and only if, for any x, y ∈ X with x = y, there exists t 0 > 0 such that M(x, y, t 0 ) = 0.

Auxiliary Functions
Since M(x, y, t) is the membership degree of the distance between x and y that is less than or equal to t, it is natural to see that the mapping M(x, y, •) is nondecreasing or symmetrically nondecreasing as shown in Proposition 2. On the other hand, since the distance will always be less than or equal to a large t, it is also reasonable to argue that if t is sufficiently large, then the membership degree M(x, y, t) is close to 1, and if t is sufficiently small, then the membership degree M(x, y, t) is close to 0. Therefore we propose the following definition.Definition 6.Let (X, M) be a fuzzy semi-metric space.

•
We say that M satisfies the canonical condition if and only if, for any fixed x, y ∈ X, lim t→+∞ M(x, y, t) = 1 for any fixed x, y ∈ X.

•
We say that M satisfies the rational condition if and only if, for any fixed x, y ∈ X, lim t→0+ M(x, y, t) = 0 for any fixed x, y ∈ X.
Example 1.Let X = R, and let the t-norm * be taken as the multiplication a * b = a • b.For each t > 0, we define M(x, y, t) = t t + |x − y| for all x, y ∈ R. Then (X, M, * ) is a fuzzy metric space such that M satisfies the canonical and rational conditions, and that the mapping M(x, y, •) n=1 in fuzzy semi-metric space (X, M), we see that M(x m , x n , t) = M(x n , x m , t) in general.Therefore the different concepts of Cauchy sequence are proposed below.Definition 7. Let (X, M) be a fuzzy semi-metric space, and let {x n } ∞ n=1 be a sequence in X.

•
We say that {x n } ∞ n=1 is a >-Cauchy sequence if and only if, given any pair (r, t) with t > 0 and 0 < r < 1, there exists n r,t ∈ N such that M(x m , x n , t) > 1 − r for all pairs (m, n) of integers m and n with m > n ≥ n r,t .

•
We say that {x n } ∞ n=1 is a <-Cauchy sequence if and only if, given any pair (r, t) with t > 0 and 0 < r < 1, there exists n r,t ∈ N such that M(x n , x m , t) > 1 − r for all pairs (m, n) of integers m and n with m > n ≥ n r,t .
The >-Cauchy sequence means that we consider M(x m , x n , t) > 1 − r for m > n, and the <-Cauchy sequence means that we consider M(x n , x m , t) > 1 − r for n < m.

•
We say that {x n } ∞ n=1 is a Cauchy sequence if and only if, given any pair (r, t) with t > 0 and 0 < r < 1, there exists n r,t ∈ N such that M(x m , x n , t) > 1 − r and M(x n , x m , t) > 1 − r for all pairs (m, n) of integers m and n with m, n ≥ n r,t and m = n.
The theorems of coincidence points and fixed points should be based on the Cauchy sequences.Therefore we introduce two kinds of auxiliary functions to obtain the useful properties regarding the Cauchy sequences.One is based on the infimum, and another one is based on the supremum.If M satisfies the canonical condition, then we shall consider the auxiliary function using the concept of infimum, and if M satisfies the rational condition, then we shall consider the auxiliary function using the concept of supremum.

Auxiliary Function Based on the Infimum
Let (X, M) be a fuzzy semi-metric space such that M satisfies the canonical condition.We introduce the auxiliary function using the concept of infimum.Definition 8. Let (X, M) be a fuzzy semi-metric space such that M satisfies the canonical condition.Given any fixed x, y ∈ X and any fixed λ ∈ (0, 1], we define the set Since the symmetric condition is not satisfied, it means that Ω ↓ (λ, x, y) = Ω ↓ (λ, y, x) and Γ ↓ (λ, x, y) = Γ ↓ (λ, y, x) in general.We also need to claim that Ω ↓ (λ, x, y) = ∅ and Ω ↓ (λ, y, x) = ∅.Suppose that Ω ↓ (λ, x, y) = ∅.Then we must have M(x, y, t) < 1 − λ for all t > 0. Therefore we obtain which contradicts the fact that M satisfies the canonical condition.This says that Definition 8 is well-defined.Proposition 5. Let (X, M) be a fuzzy semi-metric space such that M satisfies the canonical condition.Suppose that M satisfies the -triangle inequality.Given any fixed x, y ∈ X and any fixed λ ∈ (0, 1), for any > 0, we have M x, y, Γ ↓ (λ, x, y) + ≥ 1 − λ. ( If we further assume that the mapping M(x, y, •) Proposition 6.Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that M satisfies the canonical condition and the t-norm * is left-continuous at 1 in the first or second component.Suppose that M satisfies the -triangle inequality.Given any fixed x 1 , x 2 , • • • , x p ∈ X and any fixed µ ∈ (0, 1], there exists λ ∈ (0, 1) such that and and the result is obvious.Therefore we assume µ ∈ (0, 1).According to Proposition 1, there exists λ ∈ (0, 1) such that Given any > 0, we have 1) and the increasing property of t-norm) > 1 − µ (by ( 5)).
By the definition of Γ λ , we obtain By taking → 0+, we obtain the inequality (3).The inequality (4) can be similarly obtained.This completes the proof.Definition 9. Let (X, M) be a fuzzy semi-metric space such that M satisfies the canonical condition.
The following interesting properties will be used for the further study.Proposition 7. Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that M satisfies the canonical condition and the t-norm * is left-continuous at 1 with respect to the first or second component.Suppose that M satisfies the -triangle inequality.
(i) Let {x n } ∞ n=1 be a sequence in X.Then the following statements hold true.
(ii) Let {x n } ∞ n=1 be a sequence in X.Then the following statements hold true.

Auxiliary Function Based on the Supremum
Let (X, M) be a fuzzy semi-metric space such that M satisfies the rational condition.We introduce the auxiliary function using the concept of supremum.Definition 10.Let (X, M) be a fuzzy semi-metric space such that M satisfies the rational condition.Given any fixed x, y ∈ X with x = y and any fixed λ ∈ [0, 1), we define the set For convenience, we also define Γ ↑ (λ, x, x) = 0 for all λ ∈ [0, 1).
For x = y, we need to claim that Ω ↑ (λ, x, y) = ∅.Suppose that Ω ↑ (λ, x, y) = ∅.Then we must have M(x, y, t) > 1 − λ for all t > 0. Therefore we obtain lim t→0+ M(x, y, t) ≥ 1 − λ > 0, which contradicts the fact that M satisfies the the rational condition.This says that Definition 10 is well-defined.We also see that Let us recall that M(x, y, t) can be interpreted as the membership degree of the distance between x and y that is less than or equal to t.It means that, when the distance between x and y is finite and t xy is a positive real number that is larger than the distance between x and y, we should have M(x, y, t xy ) = 1.In other words, the distance between x and y that is less than or equal to t xy is definitely true.The formal definition is given below.Definition 11. (Wu [12]) Let (X, M, * ) be a fuzzy quasi-metric space.Given any two elements x, y ∈ X with x = y, the concepts of finite distance are defined below.

•
We say that x and y have a finite distance beginning from x to y if and only if there exists t xy ∈ (0, +∞) such that M(x, y, t xy ) = 1.

•
We say that x and y have a finite distance if and only if x and y have a finite distance beginning from x to y and beginning from y to x.
It is obvious that if M satisfies the symmetric condition, then the concepts of finite distance beginning from x to y and beginning from y to x are equivalent.The following results can be obtained by using the routine argument.Proposition 8. Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that M satisfies the rational condition.Given any fixed x, y ∈ X and any fixed λ ∈ (0, 1) such that Γ ↑ (λ, x, y) < +∞, for any > 0, we have M x, y, Proposition 9. Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that M satisfies the rational condition.Suppose that M satisfies the -triangle inequality.Given any fixed x, y ∈ X and any fixed λ ∈ (0, 1), we have the following properties.
Proposition 10.Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that the t-norm is left-continuous at 1 in the first or second component.Suppose that M satisfies the rational condition and the -triangle inequality.Given any fixed x 1 , x 2 , • • • , x p ∈ X and any fixed µ ∈ (0, 1), there exists λ ∈ (0, 1) and Proof.Using Proposition 1, it is clear to see that there exists λ ∈ (0, 1) such that Suppose that Γ ↑ (λ, Given any > 0, we have 6) and the increasing property of t-norm) > 1 − µ (by ( 9)).
We consider the following cases.
Then, using (10) and part (ii) of Proposition 9 again, we can obtain By taking → 0+, it follows that the desired inequality ( 7) can be obtained.
Using Remark 2, we can similarly obtain the inequality (8).This completes the proof.
Definition 12. Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that M satisfies the rational condition.

•
Given any fixed λ ∈ (0, 1), we say that {x n } ∞ n=1 is a λ-Cauchy sequence with respect to Γ ↑ if and only if, given any > 0, there exists n ∈ N such that m, n ≥ n implies Γ ↑ (λ, x m , x n ) < .
The following interesting properties that can be obtained by using the routine argument will be used for the further study.Proposition 11.Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that the t-norm * is left-continuous at 1 with respect to the first or second component.Suppose that M satisfies the rational condition and the -triangle inequality.Let {x n } ∞ n=1 be a sequence in X.Then we have the following results.

Cauchy Sequences
We shall present many kinds of situations that can guarantee the Cauchy sequence in order to derive the theorems of common coincidence points and common fixed points.We first consider the auxiliary function Γ ↓ by assuming that M satisfies the canonical condition.Proposition 12. Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that the t-norm * is left-continuous at 1 with respect to the first or second component.Suppose that M satisfies the canonical condition and the -triangle inequality.Let 0 < k < 1 be any fixed constant, and let {x n } ∞ n=1 be a sequence in X.Then we have the following results.
Proof.To prove part (i) of this proposition, given any λ ∈ (0, 1), we have the following inclusion Therefore we obtain Now we assume that m, n ∈ N with m > n.Given any µ ∈ (0, 1), by Proposition 6, there exists λ ∈ (0, 1) (which depends on m and n) such that which shows that {x n } ∞ n=1 is a (µ, <)-Cauchy sequence with respect to Γ ↓ for all µ ∈ (0, 1).By part (ii) of Proposition 7, we obtain the desired result.For proving part (ii) of this proposition, we consider Then we can similarly obtain the desired result by using the above argument.This completes the proof.
Next we consider the auxiliary function Γ ↑ by assuming that M satisfies the rational condition.
Proposition 13.Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that the t-norm * is left-continuous at 1 with respect to the first or second component.Suppose that M satisfies the rational condition and -triangle inequality.Let 0 < k < 1 be any fixed constant, and let {x n } ∞ n=1 be a sequence in X.

Common Coincidence Points
Now we are in a position to present the theorems of common coincidence points.Let X be a nonempty universal set.We consider the mappings T : X → X and f : X → X.

•
We say that the mappings T and f commute if and only if f (T(x)) = T( f (x)) for all x, y ∈ X.

•
An element x ∈ X is called a coincidence point of mappings T and f if and only if T(x) = f (x).
In particular, if x = f (x) = T(x), then x is called a common fixed point of T and f .Definition 13.Let (X, M) be a fuzzy semi-metric space.

•
We say that the function f : X → X is ( , )-continuous with respect to M if and only if, given We say that the function f : X → X is ( , )-continuous with respect to M if and only if, given We say that the function f : X → X is ( , )-continuous with respect to M if and only if, given We say that the function f : X → X is ( , )-continuous with respect to M if and only if, given Definition 14.Let (X, M) be a fuzzy semi-metric space.
Let X be a nonempty universal set, and let T : X → X be a mapping from X into itself.We write the composition T 2 = T • T and T m = T • T m−1 for m ∈ N and m ≥ 3. Let {T n } ∞ n=1 be a sequence of mappings defined on X into itself.For some m ∈ N, suppose that the mapping f : X → X satisfies T m n (X) ⊆ f (X) for all n ∈ N. Given any x 0 ∈ X, since T m 1 (X) ⊆ f (X), there exists x 1 ∈ X such that f (x 1 ) = T m 1 (x 0 ).Similarly, there also exists x 2 ∈ X such that f (x 2 ) = T m 2 (x 1 ).Continuing this process, we can construct a sequence {x n } ∞ n=1 satisfying for all n ∈ N.
Theorem 1.Let (X, M) be a fuzzy semi-metric space along with a t-norm * such that M satisfies the rational condition and the -triangle inequality.Suppose that the following conditions are satisfied: • the t-norm is left-continuous at 1 in the first or second component; • for any fixed x, y ∈ X, the mapping M(x, y, •) given any fixed m ∈ N, the mappings T n : X → X and f : X → X satisfy T m n (X) ⊆ f (X) for all n ∈ N; • the mappings f and T n commute, i.e., for all x ∈ X and all n ∈ N; • the following contractive inequality is satisfied where k ij satisfies 0 < k ij ≤ k < 1 for all i, j ∈ N and for some constant k.
Then we have the following results.
Then the mappings {T m n } ∞ n=1 and f have a common coincidence point x • .Moreover, the point x • can be obtained as follows: • if condition (a) is satisfied, then x • can be obtained by taking the limit f ( where the sequence {x n } ∞ n=1 is generated from the initial element x 0 = x * according to (20).(ii) Suppose that the following conditions are satisfied: • there exists x * ∈ X such that, given any λ ∈ (0, 1), there exists t λ > 0 satisfying • any one of the following conditions is satisfied: By the commutativity, we have For any fixed mapping T n , it follows that To prove part (i) of this proposition, we consider the following cases.
• Suppose that (X, M) is (<, )-complete, and that f is simultaneously ( , )-continuous and ( , )-continuous with respect to M. From (28) and Proposition 3, we have Therefore, from (30) and (32), we obtain Using the -triangle inequality, we see that Using the left-continuity of t-norm * and (33) and (34), we obtain M( f (x • ), T m n (x • ), 2t) = 1 for all t > 0. Therefore we must have • Suppose that (X, M) is (<, )-complete, and that f is simultaneously ( , )-continuous and ( , )-continuous with respect to M. Then the above argument is still valid to obtain f (x • ) = T m n (x • ).
Therefore the mappings {T m n } ∞ n=1 and f have a common coincidence point x • .Part (ii) of this proposition can be similarly obtained.This completes the proof.Remark 3. Suppose that f (x * ) and T m 1 (x * ) have the finite distance beginning from f (x * ) to T m 1 (x * ).By definition, there exists t * < +∞ such that M( f (x * ), T m 1 (x * ), t * ) = 1.If we take t λ = t * for all λ ∈ (0, 1), then (23) is satisfied.
By regarding x as T n (x • ), the equality (47) says that f ( x) = T m n ( x).Therefore, according to (46), we must have ).This shows that x • is a common fixed point of {T n } n∈N and f .To prove the uniqueness, let x be another common fixed point of {T n } n∈N and f , i.e., x = f ( x) = T n ( x) for all n ∈ N. Then Therefore, by referring to the derivation of (46), we can obtain Part (ii) of this proposition can be similarly obtained, and the proof is complete.

Fuzzy Semi-Metric Space Satisfying the Rational Condition
Now we investigate the uniqueness of common fixed points by assuming that the fuzzy semi-metric space (X, M) satisfies the rational condition.Theorem 3. Let (X, M) be a fuzzy semi-metric space along with a t-norm * .Suppose that M satisfies the rational condition and the -triangle inequality, and that the following conditions are satisfied: given any fixed m ∈ N, the mappings T n : X → X and f : X → X satisfy T m n (X) ⊆ f (X) for all n ∈ N. • the mappings f and T n commute, i.e., f (T n (x)) = T n ( f (x)) for all x ∈ X and all n ∈ N; • the following contractive inequality is satisfied M T m i (x), T m j (y), where k ij satisfies 0 < k ij ≤ k < 1 for all i, j = 1, 2, • • • and for some constant k.
• any one of the following conditions is satisfied: the mapping f is simultaneously ( , )-continuous and ( , )-continuous with respect to M; -the mapping f is simultaneously ( , )-continuous and ( , )-continuous with respect to M.

•
M satisfies the distant condition in Definition 5. • the following inequality is satisfied: sup n (a n * b n ) ≥ sup n a n * sup n b n for any sequences {a n } ∞ n=1 and {b n } ∞ n=1 in [0, 1].• the t-norm is left-continuous at 1 in the first or second component; • for any fixed x, y ∈ X, the mapping M(x, y, •) : (0, ∞) → [0, 1] is continuous on (0, ∞); •

•
We say that (X, M) is (>, )-complete if and only if each >-Cauchy sequence is convergent in the