幂交半格上的交同余及其性质

给出了幂交半格上几个具体的交同余,证明了任意多个交同余的并是交同余,并指出幂交半格的交同余类是子交半格,介绍了幂交半格上由θ诱导的交同余具有保并性和保序性。