多重關聯理想(multiply implicative ideal)亦稱多重關聯幻.是關聯理想的推廣.設1是BCI代數X的子集,若1滿足下列條件,則稱1為X的多重關聯理想: 對x,y,上述的I...
正關聯理想(positive implicative ideal)亦稱正關聯幻.刻畫正關聯BCI代數的一種理想.設I是BCI代數X的子集.若滿足:0<I,則稱I是X的可換理想.BCK代數X稱為正...