正關聯理想

正關聯理想(positive implicative ideal)亦稱正關聯幻.刻畫正關聯BCI代數的一種理想.設I是BCI代數X的子集.若滿足:0<I,則稱I是X的可換理想.BCK代數X稱為正關聯(關聯或可換)的若且唯若X的每一個理想是正關聯(關聯或可換)的.

相關詞條

熱門詞條

聯絡我們