证明了坡代数(X,+,*)上所有模糊子坡代数构成的集合(SI[0.1](X,+,*),≤),所有模糊理想构成的集合(Id[0.1](X,+,*),≤),所有模糊滤......