BCI－代数X＋∨X_p和它的伴随半群

在ＢＣＩ－代数Ｘ中，若无既不在Ｘ＋中又不在Ｘ＋中的奇异元，则称Ｘ是Ｘ＋与Ｘｐ的单点并，记为Ｘ＝Ｘ＋∨Ｘｐ。