:: deftheorem Def3 defines C_id CSSPACE:def 3 :
for z being object st z is Complex holds
C_id z = z;