关于有序 $\Gamma$-群胚的模糊理想与水平子集

我们用水平子集刻画了有序 $\Gamma$-群胚 $M$ 的模糊左（相应右）理想、模糊理想以及模糊素（相应半素）理想，并证明了 $M$ 的两个模糊左（相应右）理想的笛卡尔积是关于 $M\times M$ 的模糊左（相应右）理想，且 $M$ 的两个模糊素（相应半素）理想的笛卡尔积是 $M\times M$ 的模糊素（相应半素）理想。因此，如果 $\mu$ 和 $\sigma$ 是 $M$ 的模糊左（相应右）理想、模糊理想、模糊素或模糊半素理想，则非空水平子集 $(\mu\times\sigma)_t$ 亦是如此。