有序半群的表示法

有序结构（G、o、ξ）称为二次有序半群；o是集合G的二元代数运算，这样（Go）成为有序的，而ξ是集合G元素间的二阶关系，如果ξ是序列关系，那么（G、o、ξ）称为有序半群。有时二次有序半群（Goξ）将通过G表现出来，即也是由它的元素组成的集合。我们把集合G_1到G_2的任意映射ψ称为二次有序半群（G_1o_1ξ_1）到有序半群（G_2，o_2，ξ_2）的同胚，其中ψ是半群（G_1o_1）到半群（G_2，o_2）的同胚。即：`（g1g2），枫so）Eb（1）即关系b的逆象在这个映射下和b完全一样．从（l）式立刻可以得到映射个是同胚的，即：（glgZ）Et～…