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