reserve x1,x2,z for set;
reserve A,B for non empty set;
reserve f,g,h for Element of Funcs(A,COMPLEX);
reserve a,b for Complex;
reserve C for strict non empty CLSStruct,
        u,v,w for Element of C;

theorem
  CAlgebra(A) is ComplexAlgebra;
