“同余类”可以造什么句，同余类造句

*了任意偏序半群的主滤子都可以由偏序半群上的最小完全半格同余n的同余类唯一表示，并给出了其表示方法。

正则半群上的同余是由其幂等元同余类所完全决定的。