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