论文部分内容阅读
在[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