One variable is not enough for defining relation algebras,but two are

We prove that relation algebras cannot be denned with one variable over the class of semi-associative relation algebras, while it can be defined with equations using two variables, over the class of all Boolean algebras.Presented by Jan Mycieiski.Research supported by Hungarian National Foundation for Scientific Research grant No. 1810.