Novaik引入的EQ代数是高阶模糊逻辑（模糊类型理论）的真值代数。 在本文中，研究了在任意EQ代数中乘法与模糊等式的相容性。 特别地，一个示例表明相容公理并不总是成立，然后，通过引入残差的满足满足的半满足半球序有序类群值模糊代数的一类满足相容性公理的EQ代数，将其表示为模糊等式。