BCI -代数的加法序半群的理想
BCI -대수적가법서반군적이상