半群包含类的一个公开问题的解

半群包含类 $\mathbf{I} = [xyxy = xy; xyz \in \{xywz, xuyz\}]$ 是 $\mathbf{GRB} = [xyzxy=xy]$ 的两个极大子簇的并。Monzo（arXiv:1411.4860）描述了 $\mathbf{I}$ 以下的半群包含类的格，并问 $\mathbf{I}$ 是否被 $\mathbf{GRB}$ 覆盖。我们的主要结果是对 $\mathbf{I}$ 的一个刻画，它使得容易否定地回答 Monzo 的问题。