for A being non empty set holds CAlgebra A is ComplexAlgebra ;