::::定义.设 "A" 是个集合。MV-代数是代数结构，带有型 formula_4 的标识(signature) formula_5，它满足如下恒等式：备注：通过前三个公理 formula_12 是交换幺半群。或者作为替代，MV-代数是一个剩余格formula_13 满足额外恒等式Hájek (1998)描述了这两个公式的等同。
例子.一个简单的例子是 formula_15，带有定义为 formula_16 和 formula_17 的运算。Section::