L-抽象基与模糊Round理想完备化

首先引入了L-抽象基和模糊Round理想,并给出模糊Round理想的等价刻画,证明了一个模糊Domain的模糊Round理想同构于该模糊Domain。其次,研究了L-抽象基的模糊Round理想完备化,且证明了模糊偏序集的模糊Round理想完备化是模糊Domain。最后证明了模糊Domain的连续收缩是模糊Domain。