关于正则原子Boole代数的注记

定理如果正则原子Boolean代数有带尾元0的散元a,b,則a^+⊙b^+属于带尾元(a^+∧b)∨(a∧b^+)的散元a^-⊙b^-. 为证此定理先证下面的引理. 引理设{X_n}属于带尾元0的映生元a=(a_0,a_1,a_2,…,a_k,0,0,…),而{y_n}属于带尾元u_0的映生元b=(b_0,b_1,b_2,…,b_i,0,0,…)。