theorem Th19: :: MEMBERED:19

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