正則BCI代數(regular BCI algebra)一類特殊的BCI代數.設(X;}，。)是BCI代數，A,B是X的任意兩理想，若對任意的二，yE (AUB)均有ArnBy}s}，則稱x為正則BCI代數，其中As , B，分別表示在X中關於理想A,B的x與y的同餘類.每一個具有條件(:)的優BCI代數都是正則的.
