设S为非空集，在S上定义一个二元运算“·”，若（S，·）满足以下两个条件：（1）对任意的a，b∈S，有a·b∈S；（2）对任意的a，b，c∈S，（a·b）·c=a·（b·c）恒成立，则......

给出了序半群是B-单序半群的半格的刻画.证明了一个序半群S是B-单序半群的半格当且仅当S是正则的且为舵.特别地,S是B-单序半群链当......