for L being non empty add-unital addMagma
for x being Element of L holds (mult L) . (1,x) = x