theorem Th1: :: MEMBERED:1

for X being set st X is complex-membered holds
X c= COMPLEX