摘要

本文提出了有界BCHK-代数的概念,在偏序BCH-代数中给出了一些定理。证明了由一个偏序BCH-代数可构造出一个交换半群,由一个对合BCHK-代数可构造出两个交换幺半群。