有界BCI代數

有界BCI代數(bounded BCI-algebra)是一類重要的BCI代數。

它是有上界的BCI代數.若BCI代數<X; * ,0>中有上界元1,即t! xEX有x鎮1,則稱X為有界BCI代數.每一個有界BCI代數都是BCK代數.

相關詞條

熱門詞條

聯絡我們