完全域分区半群的表述

完全域分区单半群 $P_n^{fd}$ 独立地在两项关于图单体与范畴论之间联系的最近研究中被发现。它是一个右限制 Ehresmann 单体，包含完整变换单体和等价关系的连接半格。在本文中，我们给出 $P_n^{fd}$、其奇异理想以及其平面子单体的表述（由生成器和关系给出）。后者不是 Ehresmann 子单体，但它是 Branco、Gomes 和 Gould 术语中的 grrac 单体。特别是，其结构部分由一个与平面等价物一一对应的右正带所决定。