正关联理想

（数学术语）

正关联理想(positive implicative ideal)亦称正关联幻.刻画正关联BCI代数的一种理想.设I是BCI代数X的子集.若满足:0<I，则称I是X的可换理想.BCK代数X称为正关联(关联或可换)的当且仅当X的每一个理想是正关联(关联或可换)的.