theorem Th115: :: MEMBER_1:115

for A, B being complex-membered set holds A /// B = { (c1 / c2) where c1, c2 is Complex : ( c1 in A & c2 in B ) }