BCI對偶理想

BCI對偶理想(dual ideal of BCI-alge-bra)亦稱BCI代數的對偶幻.BCI代數的一種特殊理想.BCI代數X的非空子集D，若滿足條件:

則稱D為X的對偶理想.