ファジィ集合
A ⊙ B , A ⊗ B ⟺ def μ A ⊗ B := ( μ A ( x ) + μ B ( x ) − 1 ) ∨ 0 {\displaystyle A\odot B,\quad A\otimes B{\stackrel {\text{def}}{{}\iff {}}}\mu _{A\otimes B}:=(\mu _{A}(x)+\mu _{B}(x)-1)\vee 0}