正关联理想

（数学术语）
正关联理想(positive implicative ideal)亦称正关联幻.刻画正关联BCI代数的一种理想.设I是BCI代数X的子集.若满足:0<I，则称I是X的可换理想.BCK代数X称为正关联(关联或可换)的当且仅当X的每一个理想是正关联(关联或可换)的.
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：