for A, B being complex-membered set
for a, b being Complex st a in A & b in B holds
a * b in A ** B ;