for A being complex-membered set
for a, b being Complex holds (a + b) ** A c= (a ** A) ++ (b ** A)