AE4M33RZN, Fuzzy logic: Fuzzy relations

Fuzzy implication
We already know fuzzy negation ¬ ∘ , fuzzy conjunction ∧ ∘ and fuzzy
discjunction ∘ ∨. What about other operators?
Definition
Fuzzy implication is any function
∘
⇒ ∘ ∶ [0, 1] 2 → [0, 1] (1)
which overlaps with the boolean implication on x, y ∈ {0, 1}:
(x ∘ ⇒ ∘ y) = (x ⇒ y) . (2)