用半直積造句子，“半直積”造句

根據代數半羣已有的結論，刻畫了兩個半羣的半直積作成完全單半羣的充要條件。

利用代數半羣的相關知識，給出了兩個半羣的半直積是完全阿基米德半羣的充要條件。