for L being non empty unital multMagma
for x being Element of L holds (power L) . (x,2) = x * x