论文部分内容阅读
在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I<sub>1</sub>) x→(y→z)=y→(x→z), (I<sub>2</sub>) (x→y)→[(y→z)→(x→2)]=1, (I<sub>3</sub>) (x→z)=1, (I<sub>4</sub>) 若x→y=y→x=1,则x=y, (I<sub>5&l