更新序列圈乘运算封闭性的一个证明

得到的数列u=(u_0,u_1,…)被称为f产生的更新序列。f则叫做u的f-序列。若v=(v_0,v_1,…),w=(w_0,w_1,…)是两个更新序列,令u_n=v_nw_n(n=0,1,…),则称u=(u_0,u_1,…)为v与w的圈积,记作u=vw,称为圈乘运算。