正则剩余格的fuzzy ⊙-理想格

在正则剩余格的全体fuzzy ⊙-理想之集上定义了格运算和伴随对,证明了按此方式定义格运算和伴随对后,全体fuzzy ⊙-理想之集构成一个分配的剩余格。