:: deftheorem Def1 defines complex-membered MEMBERED:def 1 :
for X being set holds
( X is complex-membered iff for x being object st x in X holds
x is complex );