半群上的L-模糊同余

半群S上的模糊关系是特殊的映射，它将S×S映到0,1]区间。0,1]区间是全序集，是特殊的格。通过将0,1]换成完全格推广模糊关系的定义得到L-模糊关系的定义。在此基础上给出L-模糊等价关系、L-模糊同余的定义。研究了半群S上的L-模糊同余的部分性质，证明了两个L-模糊同余他们的圈乘是L-模糊同余当且仅当他们的圈乘是L-模糊等价关系当且仅当他们的圈乘是L-模糊对称的当且仅当他们的圈乘满足交换律。最终证明了μ^-1(1)={(a,b)∈S×S|μ(a,b)=1}是半群S上的同余。