Di dalam tulisan ini dibahas syarat perlu dan syarat cukup agar subaljabar
merupakan ideal di dalam aljabar BCI.
Dari suatu aljabar BCI X, dikonstruksikan P(X) dan SP(X) dan direct product
dari P(X) dan SP(X). Lebih lanjut ditunjukkan bahwa jika X dapat dinyatakan sebagai
direct product dari P(X) dan SP(X) serta setiap elemen tak nol dari X merupakan atom
maka setiap subaljabar dari X merupakan ideal dan sebaliknya.
Kata kunci : Aljabar BCI X
