for L being non empty unital multMagma
for x being Element of L holds FPower (x,0) = the carrier of L --> x