for A being complex-membered set
for a, b being Complex st b in A holds
b / a in A /// a